Nuprl Definition : nat-star-0
0 == λn.0
Definitions occuring in Statement :
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
natural_number: $n,
lambda: λx.A[x]
FDL editor aliases :
nat-star-0
Latex:
0 == \mlambda{}n.0
Date html generated:
2016_12_12-AM-09_24_25
Last ObjectModification:
2016_11_18-AM-11_57_35
Theory : continuity
Home
Index