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
Be the first to leave a comment!
You must be logged in first