View in EDS PDF Full Text

A unified treatment of syntax with binders.

Saved in:
Bibliographic Details
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
Description
ISSN:09567968
DOI:10.1017/S0956796812000251