Explicit substitutions for control operators (1997)

by Gilles Barthe, Fairouz Kamareddine, Alejandro R'ios