Three Syntactic Theories for Combinatory Graph Reduction.

Olivier Danvy, Ian Zerny

Browse the full LOPSTR paper archive.