Hofmann, Martin ; Pacholski, Leszek (Bearb.) ; Tiuryn, Jerzy (Bearb.): On the interpretation of type theory in locally cartesian closed categories In: Computer Science Logic. 933 : Springer Berlin Heidelberg, 1995 Lecture Notes in Computer Science). - ISBN-978-3-540-60017-6, S. 427-441