Nombre de documents

2

CV de Ronan Saillard


Communication dans un congrès2 documents

  • Ali Assaf, Guillaume Burel, Raphal Cauderlier, David Delahaye, Gilles Dowek, et al.. Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system. 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 2016, Novi SAd, Serbia. <hal-01441751>
  • Ronan Saillard. Towards explicit rewrite rules in the λΠ-calculus modulo. IWIL - 10th International Workshop on the Implementation of Logics, Dec 2013, Stellenbosch, South Africa. 2013. <hal-00921340v2>