Nuprl Definition : scomb

S ==  λx,y,z. (x z (y z))


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 :  scomb
Latex:
S  ==    \mlambda{}x,y,z.  (x  z  (y  z))


Date html generated: 2016_05_13-PM-03_08_22
Last ObjectModification: 2016_01_04-AM-10_25_40

Theory : core_2


Home Index