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