Murdoch James Gabbay
Murdoch James Gabbay
Affiliation: Heriot-Watt University, Edinburgh, UK
Pages in this Program
Equational Reasoning in Languages with Binders via Permutation Fixed-Points
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑