Nuprl Definition : recprocess
recprocess(s0;s,m.next[s; m];e,m,p.ext[e; m; p]) ==
fix((λrecprocess,s0,m. let s',e = next[s0; m] in <recprocess s', ext[e; m; recprocess s']>)) s0
Definitions occuring in Statement :
apply: f a,
fix: fix(F),
lambda: λx.A[x],
spread: spread def,
pair: <a, b>
FDL editor aliases :
recprocess
recprocess(s0;s,m.next[s; m];e,m,p.ext[e; m; p]) ==
fix((\mlambda{}recprocess,s0,m. let s',e = next[s0; m] in <recprocess s', ext[e; m; recprocess s']>)) s0
Date html generated:
2015_07_17-AM-11_19_56
Last ObjectModification:
2013_10_25-PM-00_37_52
Home
Index