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