Nuprl Definition : church-snd

church-snd() ==  λp.(p church-false())


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


Date html generated: 2016_05_15-PM-03_22_22
Last ObjectModification: 2015_09_23-AM-07_43_02

Theory : general


Home Index