Syntax and semantics of dependent types (1997)

by M Hofmann
Venue:In: Semantics and Logics of Computation