The theory of an arbitrary higher \(\lambda\)-model. (English) Zbl 07811407
MSC:
| 03B70 | Logic in computer science |
Keywords:
higher lambda calculus; homotopic lambda model; Kan complex reflexive; higher conversion; homotopy type-free theoryReferences:
| [1] | R. de Queiroz, A. de Oliveira, A. Ramos, Propositional equality, identity types, and direct computational paths, South American Journal of Logic, vol. 2(2) (2016), pp. 245-296. |
| [2] | J. Lurie, Higher Topos Theory, Princeton University Press, Princeton and Oxford (2009), DOI: DOI: · Zbl 1175.18001 · doi:10.1515/9781400830558 |
| [3] | D. Martínez-Rivillas, R. de Queiroz, Solving Homotopy Domain Equations, arXiv:2104.01195, (2021). |
| [4] | D. Martínez-Rivillas, R. de Queiroz, The ∞-groupoid generated by an arbitrary topological λ-model, Logic Journal of the IGPL (also arXiv:1906.05729), vol. 30 (2022), pp. 465-488, URL: DOI: · Zbl 1494.03033 · doi:10.1093/jigpal/jzab015 |
| [5] | D. Martínez-Rivillas, R. de Queiroz, Towards a Homotopy Domain Theory, Archive for Mathematical Logic (also arXiv 2007.15082), (2022), URL: DOI: · Zbl 07680036 · doi:10.1007/s00153-022-00856-0 |
| [6] | C. Rezk, Introduction to Quasicategories, Lecture Notes for course at University of Illinois at Urbana-Champaign (2022), URL: |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
