CV Accueil - Archive ouverte HAL

Publications

	First-order automated reasoning with theories: when deduction modulo theory meets practice Guillaume Burel , Guillaume Bury , Raphaël Cauderlier , David Delahaye , Pierre Halmagrand Journal of Automated Reasoning, 2019, 64 (6), pp.1001-1050. ⟨10.1007/s10817-019-09533-z⟩ Article dans une revue hal-02305831v1

	Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system Ali Assaf , Guillaume Burel , Raphal Cauderlier , David Delahaye , Gilles Dowek TYPES: Types for Proofs and Programs, May 2016, Novi SAd, Serbia Communication dans un congrès hal-01441751v1