Laboratoire d'informatique de l'École polytechnique

Matteo Manighetti


Contact information

Email mmanighe
Web page


[1] M. Manighetti, Computational interpretations of markov’s principle, CoRR, vol. abs/1611.03714, 2016 [Online]. Available:

[2] F. Aschieri and M. Manighetti, On natural deduction for herbrand constructive logics II: curry-howard correspondence for markov’s principle in first-order logic and arithmetic, CoRR, vol. abs/1612.05457, 2016 [Online]. Available: