Nuprl Definition : church-zero
cZ == λz,s. z
Definitions occuring in Statement :
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x]
FDL editor aliases :
church-zero
Latex:
cZ == \mlambda{}z,s. z
Date html generated:
2020_05_20-AM-08_05_15
Last ObjectModification:
2019_11_15-PM-09_50_39
Theory : general
Home
Index