Biernacka, M. and Danvy, O. 2006. A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. BRICS Report Series. 13, 18 (Dec. 2006). DOI:https://doi.org/10.7146/brics.v13i18.22176.