Laboratoire d'informatique de l'École polytechnique

Matteo Manighetti

Contact information

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

Bibliography

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

[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: http://arxiv.org/abs/1612.05457