{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T12:13:39Z","timestamp":1777551219300,"version":"3.51.4"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T00:00:00Z","timestamp":1667520000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T00:00:00Z","timestamp":1667520000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2023,5]]},"DOI":"10.1007\/s00153-022-00856-0","type":"journal-article","created":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T19:18:49Z","timestamp":1667589529000},"page":"559-579","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Towards a homotopy domain theory"],"prefix":"10.1007","volume":"62","author":[{"given":"Daniel O.","family":"Mart\u00ednez-Rivillas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruy J. G. B.","family":"de Queiroz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,11,4]]},"reference":[{"key":"856_CR1","unstructured":"Mart\u00ednez-Rivillas, D., de Queiroz, R.: The theory of an arbitrary higher $$\\lambda $$-model, arXiv:2111.07092"},{"issue":"2","key":"856_CR2","first-page":"245","volume":"2","author":"R de Queiroz","year":"2016","unstructured":"de Queiroz, R., de Oliveira, A., Ramos, A.: Propositional equality, identity types, and direct computational paths. South Am. J. Logic 2(2), 245\u2013296 (2016)","journal-title":"South Am. J. Logic"},{"issue":"4","key":"856_CR3","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1093\/jigpal\/jzx015","volume":"25","author":"A Ramos","year":"2017","unstructured":"Ramos, A., de Queiroz, R., de Oliveira, A.: On the identity type as the type of computational paths. Logic J. IGPL 25(4), 562\u2013584 (2017)","journal-title":"Logic J. IGPL"},{"issue":"3","key":"856_CR4","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1093\/jigpal\/jzab015","volume":"30","author":"D Mart\u00ednez-Rivillas","year":"2022","unstructured":"Mart\u00ednez-Rivillas, D., de Queiroz, R.: The $$\\infty $$-groupoid generated by an arbitrary topological $$\\lambda $$-model. Logic J. IGPL 30(3), 465\u2013488 (2022). https:\/\/doi.org\/10.1093\/jigpal\/jzab015. arXiv:1906.05729","journal-title":"Logic J. IGPL"},{"key":"856_CR5","unstructured":"Kapulkin, C., Lumsdaine, P., Voevodsky, V.: The simplicial model of univalent foundations, arXiv:1211.2851"},{"key":"856_CR6","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1017\/S030500411900015X","volume":"169","author":"P Lumsdaine","year":"2020","unstructured":"Lumsdaine, P., Shulman, M.: Semantics of higher inductive types. Math. Proc. Cambridge Philos. Soc. 169, 159\u2013208 (2020)","journal-title":"Math. Proc. Cambridge Philos. Soc."},{"key":"856_CR7","volume-title":"Homotopy Type Theory: Univalent Foundations of Mathematics, Princeton","author":"TUF Program","year":"2013","unstructured":"Program, T.U.F.: Homotopy Type Theory: Univalent Foundations of Mathematics, Princeton. Institute for Advanced Study, Princeton (2013)"},{"key":"856_CR8","doi-asserted-by":"publisher","DOI":"10.1515\/9781400830558","volume-title":"Higher Topos Theory","author":"J Lurie","year":"2009","unstructured":"Lurie, J.: Higher Topos Theory. Princeton University Press, Princeton and Oxford (2009)"},{"key":"856_CR9","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1017\/S0960129509990375","volume":"20","author":"M Hyland","year":"2010","unstructured":"Hyland, M.: Some reasons for generalizing domain theory. Math. Struct. Comput. Sci. 20, 239\u2013265 (2010)","journal-title":"Math. Struct. Comput. Sci."},{"key":"856_CR10","doi-asserted-by":"crossref","unstructured":"Goerss, P., Jardine, J.: Simplicial Homotopy Theory. Birkh\u00e4user Basel, Springer, Switzerl (2009)","DOI":"10.1007\/978-3-0346-0189-4"},{"issue":"2","key":"856_CR11","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1216\/RMJ-2012-42-2-353","volume":"42","author":"G Friedman","year":"2012","unstructured":"Friedman, G.: An elementary illustrated introduction to simplicial sets. Rocky Mountain J. Math. 42(2), 353\u2013423 (2012)","journal-title":"Rocky Mountain J. Math."},{"key":"856_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/9781108588737","volume-title":"Higher Categories and Homotopical Algebra","author":"D-C Cisinski","year":"2019","unstructured":"Cisinski, D.-C.: Higher Categories and Homotopical Algebra. Cambridge University Press, Cambridge (2019)"},{"key":"856_CR13","unstructured":"Rezk, C.: Stuff about quasicategories. In Lecture Notes for course at University of Illinois at Urbana-Champaign (2017)"},{"key":"856_CR14","unstructured":"Groth, M.: A short course on $$\\infty $$-categories, (2015). https:\/\/arxiv.org\/abs\/1007.2925"},{"issue":"1","key":"856_CR15","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/S0022-4049(02)00135-4","volume":"175","author":"A Joyal","year":"2002","unstructured":"Joyal, A.: Quasi-categories and kan complexes. J. Pure Appl. Algebra 175(1), 207\u2013222 (2002)","journal-title":"J. Pure Appl. Algebra"},{"key":"856_CR16","volume-title":"The Lambda Calculus, its Syntax and Semantics","author":"H Barendregt","year":"1984","unstructured":"Barendregt, H.: The Lambda Calculus, its Syntax and Semantics. North-Holland Co., Amsterdam (1984)"},{"key":"856_CR17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809835","volume-title":"Lambda-Calculus and Combinators: An Introduction","author":"J Hindley","year":"2008","unstructured":"Hindley, J., Seldin, J.: Lambda-Calculus and Combinators: An Introduction. Cambridge University Press, New York (2008)"},{"key":"856_CR18","unstructured":"Mart\u00ednez-Rivillas, D., de Queiroz, R.: Solving homotopy domain equations. arXiv:2104.01195"},{"key":"856_CR19","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/j.tcs.2014.03.005","volume":"546","author":"M Hyland","year":"2014","unstructured":"Hyland, M.: Elements of a theory of algebraic theories. Theoret. Comput. Sci. 546, 132\u2013144 (2014)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00856-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-022-00856-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00856-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,17]],"date-time":"2023-04-17T03:47:20Z","timestamp":1681703240000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-022-00856-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,4]]},"references-count":19,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2023,5]]}},"alternative-id":["856"],"URL":"https:\/\/doi.org\/10.1007\/s00153-022-00856-0","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,11,4]]},"assertion":[{"value":"28 September 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 October 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 November 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}