∞-Groupoid Generated by an Arbitrary Topological λ-Model

DOI10.1093/JIGPAL/JZAB015zbMath1494.03033arXiv1906.05729OpenAlexW3152829223MaRDI QIDQ5092562

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

Publication date: 22 July 2022

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

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

zbMATH Keywords

Scott topologyhomotopylambda calculuslambda modelinfinity groupoid

Mathematics Subject Classification ID

Homotopy theory (55P99) Continuous lattices and posets, applications (06B35) Combinatory logic and lambda calculus (03B40)

Related Items (2)

The Theory of an Arbitrary Higher \(\lambda\)-Model ⋮ Towards a homotopy domain theory

This page was built for publication: ∞-Groupoid Generated by an Arbitrary Topological λ-Model