Fingerprint
Dive into the research topics of 'Capture-avoiding substitution as a nominal algebra'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Capture-avoiding substitution as a nominal algebra
Murdoch Gabbay, Aad Mathijssen
Research output: Contribution to journal › Article › peer-review
35
Citations
(Scopus)