@article{Setzer:OverviewProofTheoryTypeTheory:2004,
author = {Anton Setzer},
title = {Proof theory of {M}artin-{L}{\"o}f {T}ype {T}heory -- {A}n overview},
journal = {Mathematiques et Sciences Humaines},
volume = {42 ann{\'e}e, n$^o$165},
year = {2004},
pages = {59 -- 99}
}