Compositionality of Rewriting Rules with Conditions. Issue 2 (2021) - Behr, Nicolas; Krivine, Jean
No abstract available