12 citations · 23 across the 5 of their papers we have counts for
1 paper · 1 filter
Ali Assaf, Guillaume Burel
Dedukti is a logical framework based on the lambda-Pi-calculus modulo rewriting, which extends the lambda-Pi-calculus with rewrite rules. In this paper, we show how to translate th…