Nuprl Definition : rec-bind-df-statetype

rec-bind-df-statetype(A;Sx;Sy) == rec(T.a:A

Sx a?

(Sy a?

bag(T)?))

Definitions occuring in Statement : unit: Unit, rec: rec(x.A[x]), apply: f a, product: x:A

B[x], union: left + right, bag: bag(T)
FDL editor aliases : rec-bind-df-statetype

rec-bind-df-statetype(A;Sx;Sy) == rec(T.a:A \mtimes{} Sx a? \mtimes{} (Sy a? \mtimes{} bag(T)?)) Date html generated: 2012_02_20-PM-02_42_48 Last ObjectModification: 2012_02_13-PM-09_14_15 Home Index