Nuprl Definition : pv8_p2_out

Nuprl Definition : pv8_p2_out_tr

pv8_p2_out_tr(Cid;Op;RepState) ==

tr,loc,x,z.let s,z = z in tr x s

Definitions occuring in Statement : apply: f a, lambda:

x.A[x], spread: spread def
FDL editor aliases : pv8_p2_out_tr pv8_p2_out_tr

pv8\_p2\_out\_tr(Cid;Op;RepState) == \mlambda{}tr,loc,x,z.let s,z = z in tr x s Date html generated: 2012_02_20-PM-07_36_11 Last ObjectModification: 2012_02_06-PM-03_04_27 Home Index