Matteo Manighetti

According to our database, Matteo Manighetti authored at least 7 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Peano Arithmetic and μMALL.

Matteo Manighetti, Dale Miller

Fundam. Informaticae, 2025

2023

Developing proof theory for proof exchange. (Developpements de théorie de la démonstration pour le partage de démonstrations).

Matteo Manighetti

PhD thesis, 2023

2020

Two Applications of Logic Programming to Coq.

Matteo Manighetti, Dale Miller, Alberto Momigliano

Proceedings of the 26th International Conference on Types for Proofs and Programs, 2020

2019

A proof-theoretic approach to certifying skolemization.

Kaustuv Chaudhuri, Matteo Manighetti, Dale Miller

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018

Admissible Tools in the Kitchen of Intuitionistic Logic.

Andrea Condoluci, Matteo Manighetti

Proceedings of the Proceedings Seventh International Workshop on Classical Logic and Computation, 2018

2016

Computational Interpretations of Markov's principle.

Matteo Manighetti

CoRR, 2016

On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic.

Federico Aschieri, Matteo Manighetti

Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016