{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T06:13:34Z","timestamp":1655792014696},"reference-count":5,"publisher":"Cambridge University Press (CUP)","issue":"9","license":[{"start":{"date-parts":[[2020,12,29]],"date-time":"2020-12-29T00:00:00Z","timestamp":1609200000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2021,10]]},"abstract":"Abstract<\/jats:title>I recall how Martin Hofmann and I found the groupoid model of type theory in the early 1990s.<\/jats:p>","DOI":"10.1017\/s0960129520000286","type":"journal-article","created":{"date-parts":[[2020,12,29]],"date-time":"2020-12-29T08:57:05Z","timestamp":1609232225000},"page":"1003-1005","update-policy":"http:\/\/dx.doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":0,"title":["The genesis of the groupoid model"],"prefix":"10.1017","volume":"31","author":[{"ORCID":"http:\/\/orcid.org\/0000-0001-6725-0168","authenticated-orcid":false,"given":"Thomas","family":"Streicher","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2020,12,29]]},"reference":[{"key":"S0960129520000286_ref1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1994.316071"},{"key":"S0960129520000286_ref5","unstructured":"Streicher, T. (1994). Investigations into Intensional Type Theory. Habilitation Thesis, Ludwig Maximilians Universit\u00e4t, Munich."},{"key":"S0960129520000286_ref4","volume-title":"Semantics of Type Theory","author":"Streicher","year":"1989"},{"key":"S0960129520000286_ref2","unstructured":"Hofmann, M. and Streicher, T. (1996). The groupoid interpretation of type theory. In: Sambin, G. (ed.) Twenty-Five Years of Constructive Type Theory, OUP."},{"key":"S0960129520000286_ref3","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100061284"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129520000286","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,21]],"date-time":"2022-06-21T05:54:35Z","timestamp":1655790875000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129520000286\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,29]]},"references-count":5,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["S0960129520000286"],"URL":"https:\/\/doi.org\/10.1017\/s0960129520000286","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,12,29]]},"assertion":[{"value":"\u00a9 The Author(s), 2020. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}