Nuprl Definition : norm-component
norm-component == norm-pair(λx.x;λx.x)
Definitions occuring in Statement :
norm-pair: norm-pair(Na;Nb),
lambda: λx.A[x]
FDL editor aliases :
norm-component
Latex:
norm-component == norm-pair(\mlambda{}x.x;\mlambda{}x.x)
Date html generated:
2015_07_23-AM-11_07_53
Last ObjectModification:
2012_02_25-PM-03_38_28
Home
Index