Type theory
Aucun articleDependent typeHomotopy type theoryType systemSt type theoryRamified theory of typesAxiom of reducibilityIntuitionistic type theoryCubical type theoryIntensional type theoryExtensional type theoryIdentity typeInductive typeInductive data typeInduction recursionInduction inductionQuotient typeRefinement typeFunction typeProduct typeExistential typeUniversal typeEmpty typeUnit typeBottom type+ 59 de plus
Pas encore d'articles dans cette catégorie — ça arrive.