10 citations · 18 across the 3 of their papers we have counts for
1 paper · 1 filter
Gabriel Hondet, Frédéric Blanqui
Dedukti is a type-checker for the λΠ-calculus modulo rewriting, an extension of Edinburgh's logicalframework LF where functions and type symbols can be defined by rewrite rules…