Nuprl Definition : church-nil
church-nil() == λx.church-true()
Definitions occuring in Statement :
church-true: church-true(),
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
church-true: church-true()
FDL editor aliases :
church-nil
Latex:
church-nil() == \mlambda{}x.church-true()
Date html generated:
2016_05_15-PM-03_22_27
Last ObjectModification:
2015_09_23-AM-07_43_03
Theory : general
Home
Index