On the observational theory of the CPS-calculus

Massimo Merro. On the observational theory of the CPS-calculus. Acta Informatica, 47(2):111-132, 2010. [doi]

Abstract

Abstract is missing.