… We will review in subsequent sections several important results which are characteristic of
the literature on confluence, and derive them as concrete cases of a same schema. On this …

We apply property-based testing to the meta-theory of programming languages. Specifically,
we want to find to what extent we can leverage this kind of technique for validating the …