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