Categorical semantics of dependent types. Talk given at (1989)

by A M Pitts
Venue:SRI Menlo Park and at the Logic Colloquium in