{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T05:47:46Z","timestamp":1724824066257},"reference-count":10,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2014,3,1]],"date-time":"2014-03-01T00:00:00Z","timestamp":1393632000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2018,3,2]],"date-time":"2018-03-02T00:00:00Z","timestamp":1519948800000},"content-version":"vor","delay-in-days":1462,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Logic"],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1016\/j.jal.2013.04.001","type":"journal-article","created":{"date-parts":[[2013,4,25]],"date-time":"2013-04-25T18:04:03Z","timestamp":1366913043000},"page":"45-49","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":8,"title":["A model of type theory in simplicial sets"],"prefix":"10.1016","volume":"12","author":[{"given":"T.","family":"Streicher","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jal.2013.04.001_br0010","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1017\/S0305004108001783","article-title":"Homotopy theoretic models of identity types","volume":"146","author":"Awodey","year":"2009","journal-title":"Math. Proc. Cambridge Phil. Soc."},{"key":"10.1016\/j.jal.2013.04.001_br0020","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07964-5","article-title":"Interactive Theorem Proving and Program Development","author":"Bertot","year":"2004"},{"key":"10.1016\/j.jal.2013.04.001_br0040","author":"Gepner"},{"key":"10.1016\/j.jal.2013.04.001_br0050","series-title":"Simplicial Homotopy Theory","author":"Goerss","year":"1999"},{"key":"10.1016\/j.jal.2013.04.001_br0060","series-title":"Semantics and Logics of Computation","first-page":"79","article-title":"Syntax and semantics of dependent types","author":"Hofmann","year":"1997"},{"key":"10.1016\/j.jal.2013.04.001_br0070","series-title":"Twenty-Five Years of Martin-L\u00f6f Type Theory","first-page":"83","article-title":"The groupoid interpretation of type theory","author":"Hofmann","year":"1998"},{"key":"10.1016\/j.jal.2013.04.001_br0030","author":"Lumsdaine"},{"key":"10.1016\/j.jal.2013.04.001_br0080","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0433-6","article-title":"Semantics of Type Theory","author":"Streicher","year":"1991"},{"key":"10.1016\/j.jal.2013.04.001_br0090","series-title":"Investigations into intensional type theory","author":"Streicher","year":"1993"},{"key":"10.1016\/j.jal.2013.04.001_br0100","author":"Voevodsky"}],"container-title":["Journal of Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570868313000347?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570868313000347?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,10,16]],"date-time":"2018-10-16T11:22:42Z","timestamp":1539688962000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570868313000347"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["S1570868313000347"],"URL":"https:\/\/doi.org\/10.1016\/j.jal.2013.04.001","relation":{},"ISSN":["1570-8683"],"issn-type":[{"value":"1570-8683","type":"print"}],"subject":[],"published":{"date-parts":[[2014,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A model of type theory in simplicial sets","name":"articletitle","label":"Article Title"},{"value":"Journal of Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jal.2013.04.001","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2013 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}