Nuprl Definition : cw-step
cw-step(A;a.B[a]) == pcw-step(Unit;p.A;p,a.B[a];p,a,b.⋅)
Definitions occuring in Statement :
pcw-step: pcw-step(P;p.A[p];p,a.B[p; a];p,a,b.C[p; a; b]),
it: ⋅,
unit: Unit
Definitions occuring in definition :
pcw-step: pcw-step(P;p.A[p];p,a.B[p; a];p,a,b.C[p; a; b]),
unit: Unit,
it: ⋅
FDL editor aliases :
cw-step
Latex:
cw-step(A;a.B[a]) == pcw-step(Unit;p.A;p,a.B[a];p,a,b.\mcdot{})
Date html generated:
2016_05_14-AM-06_14_57
Last ObjectModification:
2015_09_22-PM-05_47_15
Theory : co-recursion
Home
Index