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]

Abstract

Abstract is missing.