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)Curry–Howard correspondenceDependent 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 theoryHomotopy type theoryIdentity typeInduction-inductionInduction-recursionInductive data typeInductive typeInitial algebraIntensional type theoryIntersection type
Link from a Wikipage to another Wikipage
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)Curry–Howard correspondenceDependent 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 theoryHomotopy type theoryIdentity typeInduction-inductionInduction-recursionInductive data typeInductive typeInitial algebraIntensional type theoryIntersection type
subject
Wikipage page ID
Wikipage revision ID
952,536,801
wikiPageUsesTemplate
type
label
Type theory
@en
broader
prefLabel
Type theory
@en