9.3LOApr 5
The $K_\infty$ Homotopy $λ$-ModelDaniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
We extend the complete ordered set Dana Scott's $D_\infty$ to a complete weakly ordered Kan complex $K_\infty$, with properties that guarantee the non-equivalence of the interpretation of some higher conversions of $βη$-conversions of $λ$-terms.