Towards a homotopy domain theory

DOI10.1007/s00153-022-00856-0OpenAlexW3112547895MaRDI QIDQ2700838

Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz

Publication date: 27 April 2023

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2007.15082

zbMATH Keywords

lambda calculusinfinity categoryhomotopic lambda modelinfinity groupoidkan complex

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

The Theory of an Arbitrary Higher \(\lambda\)-Model

Cites Work

• Unnamed Item
• Survey article: an elementary illustrated introduction to simplicial sets
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Quasi-categories and Kan complexes
• Elements of a theory of algebraic theories
• Some reasons for generalising domain theory
• Higher Categories and Homotopical Algebra
• On the identity type as the type of computational paths
• Semantics of higher inductive types
• ∞-Groupoid Generated by an Arbitrary Topological λ-Model
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Higher Topos Theory (AM-170)
• Simplicial homotopy theory

This page was built for publication: Towards a homotopy domain theory