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:
2016_05_17-AM-10_24_55
Last ObjectModification:
2012_02_25-PM-03_38_28
Theory : process-model
Home
Index