On the syntax of Martin-Lof’s type theories (1987)

by A S Troelstra
Venue:Theoretical Computer Science