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