N. Gambino, и R. Garner. (2008)cite http://arxiv.org/abs/0803.4349arxiv:0803.4349Comment: 25 pages; accepted for publication in Theoretical Computer Science.
P. Aczel. Logic, Methodology and Philosophy of Science VII Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science, том 114 из Studies in Logic and the Foundations of Mathematics, Elsevier, (1986)
M. Hofmann, и T. Streicher. Twenty-five years of constructive type theory (Venice, 1995), том 36 из Oxford Logic Guides, Oxford Univ. Press, New York, (1998)