{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:48Z","timestamp":1725456048688},"publisher-location":"Berlin\/Heidelberg","reference-count":6,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354051662X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018350","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:50:09Z","timestamp":1132645809000},"page":"141-154","source":"Crossref","is-referenced-by-count":1,"title":["Independence results for calculi of dependent types"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Streicher","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"M. Hyland, A. Pitts The Theory of Constructions: Categorical Semantics and Topos-Theoretic Models preprint, to appear in the Proceedings of the Conference on Categories in Computer Science and Logic, Contemporary Mathematics, Amer. Math.Soc., 1988.","DOI":"10.1090\/conm\/092\/1003199"},{"key":"10_CR2","unstructured":"J. Meseguer Universe Models and Initial Model Semantics for the Second Order Polymorphic Lambda Calculus abstract in \u201cAbstracts of papers presented to A.M.S.\u201d, Issue 58, Vol. 9, Num. 4, 1988."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"A. Pitts Polymorphism is Set-Theoretic, Constructively Proc.of the Conference on Category Theory and Computer Science, Edinburgh 1987, SLNCS 283, 1987.","DOI":"10.1007\/3-540-18508-9_18"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"R. Seely Locally Cartesian Closed Categories and Type Theory. In Math.Proc. Cambridge Phil. Soc. 95, 1984.","DOI":"10.1017\/S0305004100061284"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"R. Seely Categorical Semantics for Higher Order Polymorphic Lambda Calculus Journal of Symbolic Logic, 1987.","DOI":"10.2307\/2273831"},{"key":"10_CR6","unstructured":"T. Streicher Correctness and Completeness of a Categorical Semantics of the Calculus of Constructions Ph.D. Thesis, Univ. of Passau, 1988."}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018350.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:41:09Z","timestamp":1607550069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018350"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354051662X"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/bfb0018350","relation":{},"subject":[]}}