{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T17:33:39Z","timestamp":1649093619335},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1989,9,1]],"date-time":"1989-09-01T00:00:00Z","timestamp":620611200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1989,9]]},"DOI":"10.1007\/bf00370824","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T19:23:01Z","timestamp":1099423381000},"page":"269-278","source":"Crossref","is-referenced-by-count":2,"title":["On some connections between logic and category theory"],"prefix":"10.1007","volume":"48","author":[{"given":"J.","family":"Lambek","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"J. W. Cartmell, Generalized algebraic theories and contextual categories, Ph. D. Thesis, University of Oxford, 1978."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"J. Lambek, On the unity of algebra and logic, in: F. Borceux (ed.), Categorical Algebra and its Applications, Proceedings, Louvain-la-Neuve 1987, Springer LNM 1348 (1988), pp. 221?229.","DOI":"10.1007\/BFb0081361"},{"key":"CR3","volume-title":"Introduction to Higher Order Categorical Logic","author":"J. Lambek","year":"1986","unstructured":"J. Lambek and P. J. Scott, Introduction to Higher Order Categorical Logic, Cambridge University Press, Cambridge, 1986."},{"key":"CR4","volume-title":"Intuitionistic Type Theory, Studies in Proof Theory","author":"P. Martin-L\ufffdf","year":"1984","unstructured":"P. Martin-L\ufffdf, Intuitionistic Type Theory, Studies in Proof Theory, Bibliopolis, Naples, 1984."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/BFb0066903","volume":"962","author":"M. Pfender","year":"1982","unstructured":"M. Pfender, R. Reiter and M. Sartorius, Constructive Arithmetics, Springer Lecture Notes in Mathematics 962 (1982), pp. 228?236.","journal-title":"Springer Lecture Notes in Mathematics"},{"key":"CR6","unstructured":"L. Rom\ufffdn, Cartesian categories with natural numbers object, Journal of Pure and Applied Algebra (1988), to appear."},{"key":"CR7","unstructured":"L. Rom\ufffdn, Categories with finite limits and natural numbers object, manuscript 1987."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"969","DOI":"10.2307\/2273831","volume":"52","author":"R. Seely","year":"1987","unstructured":"R. Seely, Categorial semantics for higher order polymorphic lambda calculus, Journal of Symbolic logic 52 (1987), pp. 969?989.","journal-title":"Journal of Symbolic logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370824.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370824\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370824","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T21:44:17Z","timestamp":1554759857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370824"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,9]]},"references-count":8,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1989,9]]}},"alternative-id":["BF00370824"],"URL":"https:\/\/doi.org\/10.1007\/bf00370824","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,9]]}}}