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 (TYPES, 2016)

Computational Interpretations of Markov's principle. - Matteo Manighetti (CoRR, 2016)

Admissible Tools in the Kitchen of Intuitionistic Logic. - Andrea Condoluci; Matteo Manighetti (CL&C, 2018)

A proof-theoretic approach to certifying skolemization. - Kaustuv Chaudhuri; Matteo Manighetti; Dale Miller 001 (CPP, 2019)

Two Applications of Logic Programming to Coq. - Matteo Manighetti; Dale Miller 001; Alberto Momigliano (TYPES, 2020)

Peano Arithmetic and μMALL. - Matteo Manighetti; Dale Miller 001 (CoRR, 2023)

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