Matteo Manighetti

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 7

Top Topics

Intuitionistic Logic

Quantifier Free

Top Venues

Publications

Matteo Manighetti, Dale Miller
Peano Arithmetic and μMALL. CoRR (2023)
Matteo Manighetti, Dale Miller, Alberto Momigliano
Two Applications of Logic Programming to Coq. TYPES (2020)
Kaustuv Chaudhuri, Matteo Manighetti, Dale Miller
A proof-theoretic approach to certifying skolemization. CPP (2019)
Andrea Condoluci, Matteo Manighetti
Admissible Tools in the Kitchen of Intuitionistic Logic. CL&C (2018)
Matteo Manighetti
Computational Interpretations of Markov's principle. CoRR (2016)
Federico Aschieri, Matteo Manighetti
On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic. CoRR (2016)
Federico Aschieri, Matteo Manighetti
On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic. TYPES (2016)