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 ]