Towards a Homotopy Domain Theory (HoDT)
share
A favourable environment is proposed for the achievement of λ-models with ∞-groupoid structure, which we will call homotopic λ-models, through of an ∞-category of ∞-groupoids with cartesian closure and enough points. Thus establishing the start of a project of generalization of the Domain Theory and λ-calculus; in the sense of the elevation of the concept proof (morphism) of equality of λ-terms to higher proof (homotopy).
READ FULL TEXT