M. Hofmann, und T. Streicher. Twenty-five years of constructive type theory (Venice, 1995), Volume 36 von Oxford Logic Guides, Oxford Univ. Press, New York, (1998)
N. Gambino, und 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, Volume 114 von Studies in Logic and the Foundations of Mathematics, Elsevier, (1986)