Matteo Manighetti
According to our database1,
Matteo Manighetti
authored at least 7 papers
between 2016 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Developing proof theory for proof exchange. (Developpements de théorie de la démonstration pour le partage de démonstrations).
PhD thesis, 2023
2020
Proceedings of the 26th International Conference on Types for Proofs and Programs, 2020
2019
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019
2018
Proceedings of the Proceedings Seventh International Workshop on Classical Logic and Computation, 2018
2016
On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic.
Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016