Set-theoretical models of various type theories (up to an extensional version of the Calculus of Inductive Constructions), aiming at proving logical consistency and strong normalization
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool