Note on the operational semantics of Dedukti 2.5, with Guillaume Genestier, 5 pages, 2018.

In this note, we describe an over-approximation of the operational semantics actually implemented in Dedukti 2.5 and study some of its properties wrt. confluence and termination.

Statcounter W3C Validator Last updated on 11 March 2019. Come back to main page.