@article{degroote:inria-00098499, TITLE = {{An environment machine for the $\lambda\mu$-calculus}}, AUTHOR = {de Groote, Philippe}, URL = {https://inria.hal.science/inria-00098499}, NOTE = {Article dans revue scientifique avec comit{\'e} de lecture.}, JOURNAL = {{Mathematical Structures in Computer Science}}, HAL_LOCAL_REFERENCE = {99-R-006 || de\_groote99a}, PUBLISHER = {{Cambridge University Press (CUP)}}, VOLUME = {8}, NUMBER = {6}, PAGES = {637-669}, YEAR = {1998}, KEYWORDS = {n.a. ; n.a}, HAL_ID = {inria-00098499}, HAL_VERSION = {v1}, }