6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2024
From Rewrite Rules to Axioms in the -Calculus Modulo Theory
Valentin Blot, Gilles Dowek, Thomas Traversié +1
The -calculus modulo theory is an extension of simply typed -calculus with dependent types and user-defined rewrite rules. We show that it is possible to replace the rewri…
cs.LO2023★ 6 cited
Dedukti: a Logical Framework based on the -Calculus Modulo Theory
Ali Assaf, Guillaume Burel, Raphaël Cauderlier +7
Dedukti is a Logical Framework based on the -Calculus Modulo Theory. We show that many theories can be expressed in Dedukti: constructive and classical predicate logic, Simpl…