Laboratoire d'informatique de l'École polytechnique

Matteo Manighetti


Contact information

Email mmanighe
Web page


[1] K. Chaudhuri, M. Manighetti, and D. Miller, A proof-theoretic approach to certifying skolemization, in Proceedings of the 8th ACM SIGPLAN international conference on certified programs and proofs, CPP 2019, cascais, portugal, january 14-15, 2019, 2019, pp. 78–90 [Online]. Available:

[2] A. Condoluci and M. Manighetti, Admissible tools in the kitchen of intuitionistic logic, in Proceedings seventh international workshop on classical logic and computation, cl&C 2018, oxford (uk), 7th of july 2018., 2018, pp. 10–23 [Online]. Available:

[3] 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, in 22nd international conference on types for proofs and programs, TYPES 2016, may 23-26, 2016, novi sad, serbia, 2016, pp. 4:1–4:17 [Online]. Available:

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