Nuprl Definition : es-decl-set-single
es-decl-set-single(i;ds;da) == <[i], λi.ds, λi.da>
Definitions occuring in Statement :
cons: [a / b],
nil: [],
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
es-decl-set-single
es-decl-set-single(i;ds;da) == <[i], \mlambda{}i.ds, \mlambda{}i.da>
Date html generated:
2015_07_17-AM-11_55_15
Last ObjectModification:
2013_03_27-AM-10_38_14
Home
Index