Nuprl Definition : null-seq
null == λx.⋅
Definitions occuring in Statement :
it: ⋅,
lambda: λx.A[x]
FDL editor aliases :
null-seq
Latex:
null == \mlambda{}x.\mcdot{}
Date html generated:
2016_05_15-PM-11_45_52
Last ObjectModification:
2008_02_27-PM-05_47_41
Theory : randomness
Home
Index