A type formed by applying some type constructor function to one or more other types. The usual constructions are functions: t1 -> t2, products: (t1, t2), sums: t1 + t2 and lifting: lift(t1). (In LaTeX, the lifted type is written with a subscript perp). See also algebraic data type, primitive type. (1995-02-03)

In addition suitable contents:
[ 2 ] [ = ] [ ai ] [ al ] [ algebra ] [ algebraic ] [ algebraic data type ] [ am ] [ an ] [ app ] [ ar ] [ arc ] [ at ] [ b ] [ br ] [ bs ] [ by ] [ ch ] [ co ] [ con ] [ cons ] [ constructor ] [ cr ] [ data ] [ data type ] [ du ] [ ed ] [ ee ] [ er ] [ es ] [ fi ] [ file ] [ fo ] [ for ] [ function ] [ ge ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ is ] [ it ] [ LaTeX ] [ Lex ] [ li ] [ ls ] [ ly ] [ mo ] [ mod ] [ module ] [ ms ] [ na ] [ nc ] [ ne ] [ ng ] [ ns ] [ om ] [ pe ] [ perp ] [ ph ] [ pl ] [ ply ] [ pr ] [ primitive ] [ product ] [ pt ] [ query ] [ rc ] [ re ] [ ro ] [ ru ] [ S ] [ sc ] [ script ] [ se ] [ so ] [ st ] [ struct ] [ su ] [ sum ] [ T ] [ th ] [ to ] [ tr ] [ tt ] [ type ] [ ua ] [ um ] [ us ] [ ve ] [ X ]