{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:00:12Z","timestamp":1725487212012},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672579"},{"type":"electronic","value":"9783540464327"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46432-8_15","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:22:02Z","timestamp":1184588522000},"page":"223-237","source":"Crossref","is-referenced-by-count":4,"title":["Categorical Models for Intuitionistic and Linear Type Theory"],"prefix":"10.1007","author":[{"given":"Maria Emilia","family":"Maietti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valeria","family":"de Paiva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eike","family":"Ritter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"15_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Computer Science Logic\u2019 94, Kazimierz, Poland","author":"N. Benton","year":"1995","unstructured":"Nick Benton. A mixed linear and non-linear logic: Proofs, terms and models. In Proceedings of Computer Science Logic\u2019 94, Kazimierz, Poland. LNCS No. 933, Berlin, Heidelberg, New York, 1995."},{"key":"15_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of the Second International Conference on Typed Lambda Calculus and Applications","author":"G. Bierman","year":"1994","unstructured":"G. Bierman. What is a categorical model of intuitionistic linear logic? In Proc. of the Second International Conference on Typed Lambda Calculus and Applications., volume 902 of Lecture Notes in Computer Science. Springer Verlag, 1994."},{"unstructured":"A. Barber and G. Plotkin. Dual intuitionistic linear logic. Technical report, LFCS, University of Edinburgh, 1997.","key":"15_CR3"},{"doi-asserted-by":"crossref","unstructured":"Th. Ehrhard. A categorical semantics of constructions. In Computer Science Press, editor, Logic in Computer Science, IEEE, pages 264\u2013273, 1988.","key":"15_CR4","DOI":"10.1109\/LICS.1988.5125"},{"key":"15_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of FoSSaCS\u201999","author":"N. Ghani","year":"1999","unstructured":"Neil Ghani, Valeria de Paiva, and Eike Ritter. Categorical models of explicit subsitutions. In Proc. of FoSSaCS\u201999, volume 1578 of LNCS, 1999."},{"doi-asserted-by":"crossref","unstructured":"N. Ghani, V. de Paiva, and E. Ritter. Linear explicit substitutions. Journal of the IGPL, to appear 2000.","key":"15_CR6","DOI":"10.1093\/jigpal\/8.1.7"},{"unstructured":"Martin Hofmann and Thomas Streicher. Personal communication, 1999.","key":"15_CR7"},{"unstructured":"B. Jacobs. Categorical Logic and Type Theory., volume 141 of Studies in Logic. Elsevier, 1999.","key":"15_CR8"},{"key":"15_CR9","first-page":"1","volume":"XVII","author":"F.W. Lawvere","year":"1970","unstructured":"F.W. Lawvere. Equality in hyperdoctrines and comprehension schema as an adjoint functor. Proc. Sympos. Pure Math., XVII:1\u201314, 1970.","journal-title":"Proc. Sympos. Pure Math."},{"issue":"2","key":"15_CR10","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"P. O\u2019Hearn","year":"1999","unstructured":"P. O\u2019Hearn and D.J. Pym. The logic of bunched implications. Bulletin of Symbolic Logic, 5(2):215\u2013244, 1999.","journal-title":"Bulletin of Symbolic Logic"},{"doi-asserted-by":"crossref","unstructured":"G.D. Plotkin. Type theory and recursion. In Proc. of Logic in Computer Science, 1993.","key":"15_CR11","DOI":"10.1109\/LICS.1993.287571"},{"unstructured":"P. Wadler. Linear types can change the world! In M. Broy and C. Jones, editors, Programming Concepts and Methods, 1990.","key":"15_CR12"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46432-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T20:31:44Z","timestamp":1550435504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46432-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672579","9783540464327"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-46432-8_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}