A cps-translation of the ��-calculus (1994)

by Phillipe de Groote
Venue:In Proceedings Trees in Algebra and Programming -- CAAP'94