M. Hofmann, и T. Streicher. Twenty-five years of constructive type theory (Venice, 1995), том 36 из Oxford Logic Guides, Oxford Univ. Press, New York, (1998)
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)
N. Gambino, и R. Garner. (2008)cite http://arxiv.org/abs/0803.4349arxiv:0803.4349Comment: 25 pages; accepted for publication in Theoretical Computer Science.