Nuprl Definition : normalize-constraints
normalize-constraints(k;A) == let A' ⟵ map(λp.normalize-constraint(k;p);A) in A'
Definitions occuring in Statement :
normalize-constraint: normalize-constraint(k;p),
map: map(f;as),
callbyvalueall: callbyvalueall,
lambda: λx.A[x]
Definitions occuring in definition :
callbyvalueall: callbyvalueall,
map: map(f;as),
lambda: λx.A[x],
normalize-constraint: normalize-constraint(k;p)
FDL editor aliases :
normalize-constraints
Latex:
normalize-constraints(k;A) == let A' \mleftarrow{}{} map(\mlambda{}p.normalize-constraint(k;p);A) in A'
Date html generated:
2016_05_15-PM-11_24_15
Last ObjectModification:
2015_09_23-AM-08_29_50
Theory : rationals
Home
Index