Comprehension categories and the semantics of type theory (1993)

by Bart Jacobs
Venue:Theoretical Computer Science