Expression == rec(X.Atom + fst:X 
X + (fun:Atom X))
Definitions :
rec: rec(x.A[x]),
union: left + right,
product: x:A B[x],
atom: Atom
FDL editor aliases :
expression
Expression == rec(X.Atom + fst:X \mtimes{} X + (fun:Atom \mtimes{} X))
Date html generated:
2010_08_27-PM-08_17_27
Last ObjectModification:
2010_06_22-PM-12_56_53
Home
Index