selected publications report Universality of proofs. HAL (Le Centre pour la Communication Scientifique Directe). 2017 Universality of proofs. HAL (Le Centre pour la Communication Scientifique Directe). 2017