Syntax and Semantics of Dependent Types (1997)

by Martin Hofmann
Venue:Semantics and Logics of Computation
Citations:42 - 4 self