Nuprl Definition : rv-const
a == λs.a
Definitions occuring in Statement :
lambda: λx.A[x]
FDL editor aliases :
rv-const
Latex:
a == \mlambda{}s.a
Date html generated:
2016_05_15-PM-11_46_29
Last ObjectModification:
2008_02_27-PM-05_48_28
Theory : randomness
Home
Index