Nuprl Definition : compose-flips
compose-flips(flips) == reduce(λf,g. (f o g);λx.x;map(λp.let i,j = p in (i, j);flips))
Definitions occuring in Statement :
flip: (i, j),
map: map(f;as),
reduce: reduce(f;k;as),
compose: f o g,
lambda: λx.A[x],
spread: spread def
Definitions occuring in definition :
reduce: reduce(f;k;as),
compose: f o g,
map: map(f;as),
lambda: λx.A[x],
spread: spread def,
flip: (i, j)
FDL editor aliases :
compose-flips
Latex:
compose-flips(flips) == reduce(\mlambda{}f,g. (f o g);\mlambda{}x.x;map(\mlambda{}p.let i,j = p in (i, j);flips))
Date html generated:
2016_05_14-PM-02_28_37
Last ObjectModification:
2015_09_22-PM-05_56_03
Theory : list_1
Home
Index