Skip to Main content Skip to Navigation


...
hal-01176715v1  Conference papers
Ronan Saillard. Rewriting Modulo β in the λ Π-Calculus Modulo
Logical Frameworks and Meta Languages: Theory and Practic, Affiliated with CADE-25, Aug 2015, Berlin, Germany. pp 87-101, ⟨10.4204/EPTCS.185.6⟩
...
hal-01100519v1  Poster communications
Ronan Saillard. Dedukti : un vérificateur de preuves universel
Journées de seconde année de l'Ecole Doctorale à Mines ParisTech, Jun 2014, Paris, France
...
hal-01086609v1  Poster communications
Ali AssafRaphaël CauderlierRonan Saillard. Dedukti:un vérificateur de preuves universel
Journées nationales GDR - GPL - CIEL - AFADL, Apr 2013, Nancy, France
...
hal-00921340v2  Conference papers
Ronan Saillard. Towards explicit rewrite rules in the λΠ-calculus modulo
IWIL - 10th International Workshop on the Implementation of Logics, Dec 2013, Stellenbosch, South Africa
...
hal-01441751v1  Conference papers
Ali AssafGuillaume BurelRaphal CauderlierDavid DelahayeGilles Dowek et al.  Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system
TYPES: Types for Proofs and Programs, May 2016, Novi SAd, Serbia