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 |
Be the first to leave a comment!