Intuitionistic Type Theory (Homotopy T. Theory, sec 7.2.)
Conditions d'achèvement
Cliquer sur Intuitionistic Type Theory (Homotopy T. Theory, sec 7.2.) pour ouvrir la ressource.