Ronan Saillard

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 2

Top Topics

Possibilistic Logic

Higher Order Logic

Normative Systems

Logical Framework

Top Venues

Mines ParisTech, France (PHD)

Education History

Mines ParisTech, France

PHD

Publications

Ali Assaf, Guillaume Burel, Raphaël Cauderlier, David Delahaye, Gilles Dowek, Catherine Dubois, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant, Ronan Saillard
Dedukti: a Logical Framework based on the λΠ-Calculus Modulo Theory. CoRR (2023)
Ronan Saillard
Rewriting Modulo βin the λΠ-Calculus Modulo. LFMTP (2015)
Frédéric Besson, Pierre-Emmanuel Cornilleau, Ronan Saillard
Walking through the Forest: Fast EUF Proof-Checking Algorithms. PxTP (2012)
Roberto M. Amadio, Nicholas Ayache, Yann Régis-Gianas, Ronan Saillard
Certifying cost annotations in compilers CoRR (2010)