M. Hofmann, and T. Streicher. Twenty-five years of constructive type theory (Venice, 1995), volume 36 of 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, volume 114 of Studies in Logic and the Foundations of Mathematics, Elsevier, (1986)
N. Gambino, and R. Garner. (2008)cite http://arxiv.org/abs/0803.4349arxiv:0803.4349Comment: 25 pages; accepted for publication in Theoretical Computer Science.