research
∙
11/13/2021
The Theory of an Arbitrary Higher λ-Model
One takes advantage of some basic properties of every λ-homotopic model ...
share
research
∙
04/02/2021
Solving Homotopy Domain Equations
In order to get λ-models with a rich structure of ∞-groupoid, which we c...
research
∙
07/29/2020