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 22 April 2023. Come back to main page.