Martin Hofmann. On the Interpretation of Type Theory in Locally Cartesian Closed Categories. In Leszek Pacholski, Jerzy Tiuryn, editors, Computer Science Logic, 8th International Workshop, CSL 94, Kazimierz, Poland, September 25-30, 1994, Selected Papers. Volume 933 of Lecture Notes in Computer Science, pages 427-441, Springer, 1994.
Abstract is missing.