Type theory nlab
Ningún artículo2 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 más
Todavía no hay preguntas en esta categoría — están en camino.