Nuprl Definition : std-env
std-env(nm) == λt,r. <0, 0, nm>
Definitions occuring in Statement :
lambda: λx.A[x],
pair: <a, b>,
natural_number: $n
FDL editor aliases :
std-env
Latex:
std-env(nm) == \mlambda{}t,r. ɘ, 0, nm>
Date html generated:
2015_07_23-AM-11_17_10
Last ObjectModification:
2012_02_25-PM-03_45_18
Home
Index