I. Dokmanic, R. Parhizkar, J. Ranieri, и M. Vetterli. (2015)cite arxiv:1502.07541Comment: - 17 pages, 12 figures, to appear in IEEE Signal Processing Magazine - change of title in the last revision.
M. Hofmann, и T. Streicher. Twenty-five years of constructive type theory (Venice, 1995), том 36 из Oxford Logic Guides, Oxford Univ. Press, New York, (1998)