This page shows all presentations of this author published in EasyChair Smart Slide.
From the Universality of Mathematical Truth to the Interoperability of Proof Systems
Gilles Dowek
Linear Lambda-Calculus Is Linear
Alejandro Díaz-Caro and Gilles Dowek