Nuprl Definition : church-ite

church-ite() ==  λp,a,b. (p a b)


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


Date html generated: 2016_05_15-PM-03_22_10
Last ObjectModification: 2015_09_23-AM-07_42_59

Theory : general


Home Index