Type theory nlab
No articles2 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 theoryEquality in type theoryEquivariant homotopy typeFibered heterogeneous identity typeFinite homotopy typeFormalized libraries of homotopy type theoryFractured homotopy type theoryFundamental theorem of identity typesGeometric homotopy type theoryGeometric type theoryGlobally univalent bicategoryHegel's logic as modal type theoryHeterogeneous identity typeHigher coinductive typeHigher groups in homotopy type theoryHigher inductive typeHigher observational type theoryHigher order logic as a dependent type theoryHistory of inductive types referencesHomotopy theory in homotopy type theory referencesHomotopy typeHomotopy type representation theory tableHomotopy type systemHomotopy type theory contentsHomotopy type theory electronic seminar talksHomotopy type theory eventsHomotopy type theory faqHomotopy type theory referencesHomotopy type theory univalent foundations of mathematicsHomotopy type with finite homotopy groupsHopf construction in homotopy type theoryImpredicative dependent type theoryIndexed heterogeneous identity typeInductive inductive typeInitiality project type theoryInitiality project type theory pi typesInitiality project type theory term equalityInitiality project type theory type equalityInternal type theoryIntroduction to homotopy type theoryInverse diagram model of type theoryIsomorphism in simplicial type theoryLayered type theoryLeft division in modal type theoryLinear type theoryLocalization in homotopy type theoryLocally univalent bicategoryLogic over dependent type theoryMartin l f dependent type theoryMathematics presented in homotopy type theoryModal homotopy type theoryModal type theoryModalities in homotopy type theoryModel of type theory in anNatural model of homotopy type theoryObservational type theoryOn pl derham theory and rational homotopy typeOn the homotopy groups of spheres in homotopy type theoryOpen problems in homotopy type theoryOpetopic type theoryParametric dependent type theoryPointed homotopy typePolarity in type theoryPolymorphic dependent type theoryProfinite homotopy typeProof theoretic strength of univalent type theory plus hitsPropositional logic as a dependent type theoryPropositional type theoryPropositions as typesPropositions as types in combinatory algebraQuotient inductive typeReal cohesive homotopy type theoryRelationship between type theory and category theorySchematic homotopy type
No questions in this category yet — they're coming.