Extends Scott's D_infty to K_infty Kan complex to distinguish higher-order beta-eta conversions in lambda calculus interpretations.
Rezk, Stuff about quasicategories, Lecture Notes for course at University of Illinois at Urbana-Champaign
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
The $K_\infty$ Homotopy $\lambda$-Model
Extends Scott's D_infty to K_infty Kan complex to distinguish higher-order beta-eta conversions in lambda calculus interpretations.