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

by Roland Backhouse
Venue:Laboratory for the Foundations of Computer Science, University of Edinburgh