Nuprl Definition : pi-null-trans
pi-null-trans() == RecProcess(⋅;s,m.<⋅, make-lg([])>)
Definitions occuring in Statement :
make-lg: make-lg(L),
rec-process: RecProcess(s0;s,m.next[s; m]),
nil: [],
it: ⋅,
pair: <a, b>
FDL editor aliases :
pi-null-trans
Latex:
pi-null-trans() == RecProcess(\mcdot{};s,m.<\mcdot{}, make-lg([])>)
Date html generated:
2015_07_23-AM-11_59_16
Last ObjectModification:
2012_08_30-PM-01_50_07
Home
Index