1. Compositionality of Rewriting Rules with Conditions. Issue 2 (2021) Authors: Behr, Nicolas; Krivine, Jean Journal: Compositionality Issue: Volume 3:Issue 2(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗