Type theory nlab
Aucun article2 type theoryA1 homotopy type theoryCategorical semantics of dependent type theoryCellular cohomology in homotopy type theoryCodependent type theoryCohesive homotopy type theoryCohesive homotopy type theory with two kinds of typesCohomology in homotopy type theoryCoinductive typeComputational type theoryConnected homotopy typeDependent linear type theoryDependent type semanticsDependent type theoretic methods in natural language semanticsDependent type theoryDifferential cohesive homotopy type theoryDirected homotopy type theoryDirected homotopy type theory contentsDirected type theoryDirected univalence axiomDisplayed coinductive typeDisplayed type theoryEffective epimorphism in homotopy type theoryEilenberg maclane spaces in homotopy type theory+ 73 de plus
Pas encore d'articles dans cette catégorie — ça arrive.