Nuprl Definition : n-tuple
n-tuple(n) == tuple-type(map(λx.Top;upto(n)))
Definitions occuring in Statement :
tuple-type: tuple-type(L),
upto: upto(n),
map: map(f;as),
top: Top,
lambda: λx.A[x]
Definitions occuring in definition :
tuple-type: tuple-type(L),
map: map(f;as),
lambda: λx.A[x],
top: Top,
upto: upto(n)
FDL editor aliases :
n-tuple
Latex:
n-tuple(n) == tuple-type(map(\mlambda{}x.Top;upto(n)))
Date html generated:
2016_05_14-PM-03_57_20
Last ObjectModification:
2015_09_22-PM-06_01_58
Theory : tuples
Home
Index