Nuprl Definition : ss-const

ss-const(c) ==  λx.c


Definitions occuring in Statement :  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x]
FDL editor aliases :  ss-const
Latex:
ss-const(c)  ==    \mlambda{}x.c


Date html generated: 2019_10_31-AM-07_27_35
Last ObjectModification: 2019_03_19-PM-03_42_22

Theory : constructive!algebra


Home Index