Comprehension categories and the semantics of type theory (1993)

by B Jacobs
Venue:Theoretical Computer Science