Comprehension categories and the semantics of type dependency (1993)

by B Jacobs
Venue:Theoretical Computer Science