@inproceedings{setzer:proofTheoryAndMartinLoefTypeTheory:2008,
author = {Anton Setzer},
title = {Proof theory and {M}artin-{L}{\"o}f {T}ype {T}heory},
editor = {Atten, M. v. and Boldini, P. and  Bourdeau, M. and Heinzmann, G.},
booktitle = {One Hundred Years of Intuitionism (1907 -- 2007)},
publisher = {Birkh{\"a}user},
year = {2008},
pages = {257 -- 279},
isbn={978-3764386528},
available={~/papersAndDocuments/setzer/setzerProofTheoryAndMartinLoefTypeTheory.pdf}
}