Nuprl Definition : church-null

church-null() ==  λp.(p (λx,y. church-false()))


Definitions occuring in Statement :  church-false: church-false(),  apply: f a,  lambda: λx.A[x]
Definitions occuring in definition :  apply: f a,  lambda: λx.A[x],  church-false: church-false()
FDL editor aliases :  church-null
Latex:
church-null()  ==    \mlambda{}p.(p  (\mlambda{}x,y.  church-false()))


Date html generated: 2016_05_15-PM-03_22_32
Last ObjectModification: 2015_09_23-AM-07_43_04

Theory : general


Home Index