Nuprl Definition : church-succ
cS == λx,z,s. (s (x z s))
Definitions occuring in Statement :
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
apply: f a
FDL editor aliases :
church-succ
Latex:
cS == \mlambda{}x,z,s. (s (x z s))
Date html generated:
2020_05_20-AM-08_05_22
Last ObjectModification:
2019_11_15-PM-09_52_14
Theory : general
Home
Index