Syntax and semantics of dependent types (1996)

by M Hofmann
Venue:Semantics and Logics of Computation