This page shows all presentations of this author published in EasyChair Smart Slide.
Formalizing Implicative Algebras in Coq
Étienne Miquey
A sequent calculus with dependent types for classical arithmetic