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:
2016_05_17-PM-02_46_56
Last ObjectModification:
2014_11_26-AM-11_21_44
Theory : paxos!synod
Home
Index