Nuprl Definition : church-fst

church-fst() ==  λp.(p church-true())


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


Date html generated: 2016_05_15-PM-03_22_17
Last ObjectModification: 2015_09_23-AM-07_43_01

Theory : general


Home Index