{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T10:13:54Z","timestamp":1648635234914},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,7,31]],"date-time":"2013-07-31T00:00:00Z","timestamp":1375228800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1007\/s11787-013-0086-9","type":"journal-article","created":{"date-parts":[[2013,7,30]],"date-time":"2013-07-30T14:50:36Z","timestamp":1375195836000},"page":"265-273","source":"Crossref","is-referenced-by-count":2,"title":["Elements of Categorical Logic: Fifty Years Later"],"prefix":"10.1007","volume":"7","author":[{"given":"Valeria","family":"de Paiva","sequence":"first","affiliation":[]},{"given":"Andrei","family":"Rodin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,7,31]]},"reference":[{"key":"86_CR1","doi-asserted-by":"crossref","unstructured":"1. Bell, J.: The development of categorical logic. In: Gabbay, D. (ed.) The Handbook of Philosophical Logic, vol. 12, p. 279 (2005)","DOI":"10.1007\/1-4020-3092-4"},{"issue":"404","key":"86_CR2","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1090\/memo\/0404","volume":"79","author":"A.R. Blass","year":"1989","unstructured":"Blass A.R., Scedrov A.: Freyd\u2019s models for the independence of the axiom of choice. Memoirs Am. Math. Soc. 79(404), 134 (1989)","journal-title":"Memoirs Am. Math. Soc."},{"key":"86_CR3","unstructured":"3. De Groote, Ph. (ed.): The curry-howard isomorphism. In: Cahiers du Centre de Logique, Universit\u00e9 catholique de Louvain, Louvain-La-Neuve, vol. 8, p. 364 (1995)"},{"key":"86_CR4","doi-asserted-by":"crossref","unstructured":"4. Corradini, A., et\u00a0al.: Algebraic approaches to graph transformation. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, pp. 163\u2013312 (1997)","DOI":"10.1142\/3303"},{"key":"86_CR5","unstructured":"5. Voevodsky, et\u00a0al. (2013) Homotopy Type Theory: Univalent Foundations of Mathematics. Princeton Institute for Advanced Study, Princeton"},{"key":"86_CR6","doi-asserted-by":"crossref","unstructured":"6. Coecke, B. (ed.): New Structures for physics. In: Lecture Notes in Physics. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-12821-9"},{"key":"86_CR7","unstructured":"7. Ehresmann, Ch.: Cat\u00e9gories et structures. Dunod, Paris (1965)"},{"key":"86_CR8","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0022-4049(80)90097-3","volume":"19","author":"P.J. Freyd","year":"1980","unstructured":"Freyd P.J.: The axiom of choice. J. Pure Appl. Algebra 19, 103\u2013125 (1980)","journal-title":"J. Pure Appl. Algebra"},{"issue":"1","key":"86_CR9","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen J.A., Burstall R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"86_CR10","unstructured":"10. Jacobs, B.: Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics, vol. 141. Elsevier, North Holland (1999)"},{"key":"86_CR11","doi-asserted-by":"crossref","unstructured":"11. Lawvere, F.W.: Functorial Semantics of Algebraic Theories. Ph.D. Columbia University, New York (1963)","DOI":"10.1073\/pnas.50.5.869"},{"key":"86_CR12","doi-asserted-by":"crossref","first-page":"1506","DOI":"10.1073\/pnas.52.6.1506","volume":"52","author":"F.W. Lawvere","year":"1964","unstructured":"Lawvere F.W.: An elementary theory of the category of sets. Proc. Nat. Acad. Sci. USA 52, 1506\u20131511 (1964)","journal-title":"Proc. Nat. Acad. Sci. USA"},{"key":"86_CR13","doi-asserted-by":"crossref","unstructured":"13. Lawvere, F.W.: Equality in hyperdoctrines and comprehension schema as an adjoint functor. Applications of Categorical Algebra (Proc. Sympos. Pure Math., vol. XVII, New York, 1968), pp. 1\u201314 (1970)","DOI":"10.1090\/pspum\/017\/0257175"},{"issue":"1","key":"86_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/philmat\/nki005","volume":"13","author":"E. Landry","year":"2005","unstructured":"Landry E., Marquis J.-P.: Categories in context: historical, foundational, and philosophical. Philos. Math. 13(1), 1\u201343 (2005)","journal-title":"Philos. Math."},{"key":"86_CR15","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0022-4049(96)00007-2","volume":"115","author":"M. Makkai","year":"1997","unstructured":"Makkai M.: Generalized sketches as a framework for completeness theorems (i). J. Pure Appl. Algebra 115, 49\u201379 (1997)","journal-title":"J. Pure Appl. Algebra"},{"key":"86_CR16","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0022-4049(96)00008-4","volume":"115","author":"M. Makkai","year":"1997","unstructured":"Makkai M.: Generalized sketches as a framework for completeness theorems (ii). J. Pure Appl. Algebra 115, 179\u2013212 (1997)","journal-title":"J. Pure Appl. Algebra"},{"key":"86_CR17","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0022-4049(96)00009-6","volume":"115","author":"M. Makkai","year":"1997","unstructured":"Makkai M.: Generalized sketches as a framework for completeness theorems (iii). J. Pure Appl. Algebra 115, 241\u2013274 (1997)","journal-title":"J. Pure Appl. Algebra"},{"key":"86_CR18","unstructured":"18. Marquis, J.-P., Reyes, G.E.: The history of categorical logic: 1963\u20131977. In: Kanamori, A. (ed.) Handbook of the History of Logic: Sets and Extensions in the Twentieth Century, vol. 6, pp. 689\u2013800 (2012)"},{"key":"86_CR19","unstructured":"19. MacLane, S., Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer, New York (1992)"},{"key":"86_CR20","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"Moggi","year":"1989","unstructured":"Moggi , Moggi : Notions of computation and monads. Inf. Comput. 93, 55\u201392 (1989)","journal-title":"Inf. Comput."},{"key":"86_CR21","doi-asserted-by":"crossref","unstructured":"21. Rodin, A.: Axiomatic Method and Category Theory, Synthese Library, vol. 364. Springer, Berlin (2013)","DOI":"10.1007\/978-3-319-00404-4"},{"key":"86_CR22","doi-asserted-by":"crossref","unstructured":"22. S\u00f8rensen, M.H., Urzyczyn, P.: Lectures on the Curry\u2013Howard isomorphism, vol. 149. Elsevier, New York (2006)","DOI":"10.1016\/S0049-237X(06)80005-4"},{"key":"86_CR23","unstructured":"23. Vickers, S.: Topology via Logic. Cambridge University Press, Cambridge (1996)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-013-0086-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-013-0086-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-013-0086-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,20]],"date-time":"2019-07-20T01:09:21Z","timestamp":1563584961000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-013-0086-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,31]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,9]]}},"alternative-id":["86"],"URL":"https:\/\/doi.org\/10.1007\/s11787-013-0086-9","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,31]]}}}