SimpleType ==
rec(X.Atom + Type + domain:X 
X + fst:X X + left:X X + X + X)
Definitions occuring in Statement :
rec: rec(x.A[x]),
product: x:A B[x],
union: left + right,
atom: Atom,
universe: Type
Definitions :
rec: rec(x.A[x]),
atom: Atom,
universe: Type,
product: x:A B[x],
union: left + right
FDL editor aliases :
simple_type
SimpleType == rec(X.Atom + Type + domain:X \mtimes{} X + fst:X \mtimes{} X + left:X \mtimes{} X + X + X)
Date html generated:
2011_08_17-PM-04_39_18
Last ObjectModification:
2011_02_06-PM-04_02_40
Home
Index