Martin Hofmann, Thomas Streicher. Completeness of Continuation Models for lambda-mu-Calculus. Inf. Comput., 179(2):332-355, 2002. [doi]
@article{HofmannS02,
title = {Completeness of Continuation Models for lambda-mu-Calculus},
author = {Martin Hofmann and Thomas Streicher},
year = {2002},
doi = {10.1006/inco.2001.2947},
url = {http://dx.doi.org/10.1006/inco.2001.2947},
tags = {completeness},
researchr = {https://researchr.org/publication/HofmannS02},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {179},
number = {2},
pages = {332-355},
}