Nuprl Definition : zero-seq

0s ==  λx.0


Definitions occuring in Statement :  lambda: λx.A[x],  natural_number: $n
Definitions occuring in definition :  lambda: λx.A[x],  natural_number: $n
FDL editor aliases :  zero-seq
Latex:
0s  ==    \mlambda{}x.0


Date html generated: 2016_05_14-PM-09_54_18
Last ObjectModification: 2016_01_15-AM-06_34_45

Theory : continuity


Home Index