Matteo Manighetti

Identifiers

No identifiers captured yet.

Papers (3)

1. Admissible Tools in the Kitchen of Intuitionistic Logic cs.LO · 2018 · author #2
2. On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic cs.LO · 2016 · author #2
3. Computational Interpretations of Markov's principle cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrea Condoluci 1 shared papers
• Federico Aschieri 1 shared papers