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

by Roland Backhouse
Venue:Proceedings of the Workshop on general logic