Nuprl Definition : pv11_p1_mk_bnum
pv11_p1_mk_bnum() == λn,loc. (inl <n, loc>)
Definitions occuring in Statement :
lambda: λx.A[x],
pair: <a, b>,
inl: inl x
FDL editor aliases :
pv11_p1_mk_bnum
Latex:
pv11\_p1\_mk\_bnum() == \mlambda{}n,loc. (inl <n, loc>)
Date html generated:
2015_07_23-PM-04_10_46
Last ObjectModification:
2014_11_26-AM-11_21_44
Home
Index