Danko Ilik. Proofs in continuation-passing style: normalization of Gödel's System T extended with sums and delimited control operators: Distilled Tutorial. In Olaf Chitil, Andy King, Olivier Danvy, editors, Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. pages 55-56, ACM, 2014. [doi]
@inproceedings{Ilik14-0,
title = {Proofs in continuation-passing style: normalization of Gödel's System T extended with sums and delimited control operators: Distilled Tutorial},
author = {Danko Ilik},
year = {2014},
doi = {10.1145/2643135.2643161},
url = {http://doi.acm.org/10.1145/2643135.2643161},
researchr = {https://researchr.org/publication/Ilik14-0},
cites = {0},
citedby = {0},
pages = {55-56},
booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014},
editor = {Olaf Chitil and Andy King and Olivier Danvy},
publisher = {ACM},
isbn = {978-1-4503-2947-7},
}