Nuprl Definition : pcw-final-step
pcw-final-step(s) == let p,w,d = s in ↑isr(d)
Definitions occuring in Statement :
assert: ↑b,
isr: isr(x),
spreadn: spread3
Definitions occuring in definition :
spreadn: spread3,
assert: ↑b,
isr: isr(x)
FDL editor aliases :
pcw-final-step
Latex:
pcw-final-step(s) == let p,w,d = s in \muparrow{}isr(d)
Date html generated:
2016_05_14-AM-06_12_34
Last ObjectModification:
2015_09_22-PM-05_47_01
Theory : co-recursion
Home
Index