Nuprl Definition : add-fresh-cname
I+ == eval m = fresh-cname(I) in [m / I]
Definitions occuring in Statement :
fresh-cname: fresh-cname(I),
cons: [a / b],
callbyvalue: callbyvalue
Definitions occuring in definition :
callbyvalue: callbyvalue,
fresh-cname: fresh-cname(I),
cons: [a / b]
FDL editor aliases :
add-fresh-cname
Latex:
I+ == eval m = fresh-cname(I) in [m / I]
Date html generated:
2016_05_20-AM-09_28_51
Last ObjectModification:
2015_09_23-AM-09_29_25
Theory : cubical!sets
Home
Index