On the syntax of Martin-Löf’s type theories (1987)

by Anne Sjerp Troelstra
Venue:Theoretical Computer Science, 51:1