Abstract data typeAbstract typeAd hoc polymorphismAlgebraic data typeAttribute domainAutomathAxiom of reducibilityBottom typeBounded quantificationCalculus of constructionsCategorial grammarCombinatory categorial grammarComposite data typeContainer (type theory)Covariance and contravariance (computer science)Dependent typeDerived typeDuck typingEffect systemEmpty typeEnumerated typeExistential typeExtensional type theoryFlow-sensitive typingFunction typeFunctor (type theory)Generalized algebraic data typeGirard's paradoxHigher-order abstract syntaxHindley–Milner type systemHistory of type theoryIdentity typeInduction-recursionInductive data typeInductive typeInitial algebraIntensional type theoryIntuitionistic type theory
subject
Wikipage page ID
Wikipage revision ID
546,492,391
type
label
Type theory
@en
sameAs
broader
prefLabel
Type theory
@en