Three syntactic theories for combinatory graph reduction

Olivier Danvy, Ian Zerny. Three syntactic theories for combinatory graph reduction. ACM Trans. Comput. Log., 14(4):29, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.