EasyChair Smart SlideDocs/Log in
Author: Gilles Dowek

This page shows all presentations of this author published in EasyChair Smart Slide.

Reconstruction of SMT Proofs with Lambdapi

Reconstruction of SMT Proofs with Lambdapi

Alessio Coltellacci, Stephan Merz and Gilles Dowek

From the Universality of Mathematical Truth to the Interoperability of Proof Systems

From the Universality of Mathematical Truth to the Interoperability of Proof Systems

Gilles Dowek

Linear Lambda-Calculus Is Linear

Linear Lambda-Calculus Is Linear

Alejandro Díaz-Caro and Gilles Dowek

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair