| Original language | English |
|---|---|
| Place of Publication | Edinburgh |
| Publisher | Heriot-Watt University |
| Number of pages | 52 |
| Publication status | Published - 2007 |
Publication series
| Name | Technical Report |
|---|---|
| Volume | HW-MACS-TR-0053 |
Capture-avoiding substitution as a nominal algebra
M.J. Gabbay, A.H.J. Mathijssen
Research output: Book/Report › Report › Academic
131
Downloads
(Pure)