Nuprl Definition : null-seq
null == λx.⋅
Definitions occuring in Statement :
it: ⋅
,
lambda: λx.A[x]
Definitions :
lambda: λx.A[x]
,
it: ⋅
FDL editor aliases :
null-seq
null == \mlambda{}x.\mcdot{}
Date html generated:
2015_07_17-AM-07_58_31
Last ObjectModification:
2008_02_27-PM-05_47_41
Home
Index