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 16 May 2018. Come back to main page.