1 paper
Péter Bereczky, Dániel Horpácsi, Simon Thompson
In order to reason about the behaviour of programs described in a programming language, a mathematically rigorous definition of that language is needed. In this paper, we present a…