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.