A unified treatment of syntax with binders.
Saved in:
| Title: | A unified treatment of syntax with binders. |
|---|---|
| Authors: | POUILLARD, NICOLAS1, POTTIER, FRANÇOIS1 |
| Source: | Journal of Functional Programming. Sep2012, Vol. 22 Issue 4/5, p614-704. 91p. |
| Database: | Mathematics Source |
| ISSN: | 09567968 |
|---|---|
| DOI: | 10.1017/S0956796812000251 |