NOMINAL COALGEBRAIC DATA TYPES WITH APPLICATIONS TO LAMBDA CALCULUS.
Saved in:
| Title: | NOMINAL COALGEBRAIC DATA TYPES WITH APPLICATIONS TO LAMBDA CALCULUS. |
|---|---|
| Authors: | KURZ, ALEXANDER1, ak155@mcs.le.ac.uk, PETRIŞAN, DANIELA1, daniela.petrisan@gmail.com, SEVERI, PAULA1, ps65@mcs.le.ac.uk, DE VRIES, FER-JAN1, fdv1@mcs.le.ac.uk |
| Source: | Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 4, p1-52, 52p |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.2168/LMCS-9(4:20)2013 |
