Three Syntactic Theories for Combinatory Graph Reduction.
Saved in:
| Title: | Three Syntactic Theories for Combinatory Graph Reduction. |
|---|---|
| Authors: | DANVY, OLIVIER1, danvy@cs.au.dk, ZERNY, IAN1 |
| Source: | ACM Transactions on Computational Logic; Nov2013, Vol. 14 Issue 4, p1-27, 27p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
