On the meaning and construction of the rules in Martin-Löf’s theory of types (1987)

by Roland Backhouse
Venue:Department of Computer Science, University of Edinburgh