2 papers
cs.LO2026
Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model
Daniel O. Martinez-Rivillas, Arthur F. Ramos, Ruy J. G. B. de Queiroz
Martinez-Rivillas and de Queiroz gave extensional Kan semantics for the untyped lambda-calculus and later constructed the concrete K-infinity homotopy-model. The two main mathemati…
cs.LO2025
The Homotopy -Model
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
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 interpreta…