The $K_\infty$ Homotopy $\lambda$-Model
Logic in Computer Science
2026-04-07 v3
Abstract
We extend the complete ordered set Dana Scott's to a complete weakly ordered Kan complex , with properties that guarantee the non-equivalence of the interpretation of some higher conversions of -conversions of -terms.
Cite
@article{arxiv.2505.07103,
title = {The $K_\infty$ Homotopy $\lambda$-Model},
author = {Daniel O. Martínez-Rivillas and Ruy J. G. B. de Queiroz},
journal= {arXiv preprint arXiv:2505.07103},
year = {2026}
}
Comments
arXiv admin note: substantial text overlap with arXiv:2104.01195