Syntax and Semantics of Dependent Types (1997)

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