Original language | English |
---|---|
Pages (from-to) | 341-363 |
Number of pages | 23 |
Journal | Formal Aspects of Computing |
Volume | 13 |
Issue number | 3-5 |
DOIs | |
Publication status | Published - 1 Jul 2002 |
A new approach to abstract syntax with variable binding
Murdoch J Gabbay, Andrew M Pitts
Research output: Contribution to journal › Article › peer-review
430
Citations
(Scopus)