Laboratoire d'informatique de l'École polytechnique

Matteo Manighetti

Doctorant

Contact information

Email mmanighe lix.polytechnique.fr
Web page http://www.lix.polytechnique.fr/Labo/Matteo.Manighetti

Bibliography

[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: https://doi.org/10.1145/3293880.3294094

[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: https://doi.org/10.4204/EPTCS.281.2

[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: https://doi.org/10.4230/LIPIcs.TYPES.2016.4

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