TERMS: Type Theory

Type Theory

type system type term base type ground type constant type monomorphic type polymorphic type monotype polytype type function type constructor type variable type inference principle type