Proof theory of Martin-Löf type theory – an overview (2004)

by A Setzer
Venue:Mathematiques et Sciences Humaines, 42 année, n o 165:59 – 99