Comprehension Categories and the Semantics of Type Dependency (1993)

by B Jacobs
Venue:Theoretical Computer Science