順序組
↑ “N‐tuple - Oxford Reference”. oxfordreference.com. 2015年5月1日閲覧。
↑ “Ordered n-tuple - Oxford Reference”. oxfordreference.com. 2015年5月1日閲覧。
↑ D'Angelo & West 2000, p. 9.
↑ D'Angelo & West 2000, p. 101.
↑ Pierce, Benjamin (2002). Types and Programming Languages. MIT Press. pp. 126–132. ISBN 0-262-16209-1
↑ Steve Awodey, From sets, to types, to categories, to sets, 2009, preprint