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

DOI10.18778/0138-0680.2023.11arXiv2111.07092OpenAlexW3212818873MaRDI QIDQ6119353

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

Publication date: 29 February 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

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

zbMATH Keywords

homotopic lambda modelhigher conversionhigher lambda calculushomotopy type-free theoryKan complex reflexive

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Towards a homotopy domain theory
• ∞-Groupoid Generated by an Arbitrary Topological λ-Model
• Higher Topos Theory (AM-170)

This page was built for publication: The Theory of an Arbitrary Higher \(\lambda\)-Model