Ronan Saillard

According to our database, Ronan Saillard authored at least 5 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory.

Ali Assaf, Guillaume Burel, Raphaël Cauderlier, David Delahaye, Gilles Dowek, Catherine Dubois, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant, Ronan Saillard

CoRR, 2023

2015

Typechecking in the lambda-Pi-Calculus Modulo : Theory and Practice. (Vérification de typage pour le lambda-Pi-Calcul Modulo : théorie et pratique).

Ronan Saillard

PhD thesis, 2015

Rewriting Modulo βin the λΠ-Calculus Modulo.

Ronan Saillard

Proceedings of the Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, 2015

2012

Walking through the Forest: Fast EUF Proof-Checking Algorithms.

Frédéric Besson, Pierre-Emmanuel Cornilleau, Ronan Saillard

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012

2010

Certifying cost annotations in compilers

Roberto M. Amadio, Nicholas Ayache, Yann Régis-Gianas, Ronan Saillard

CoRR, 2010