Alexis Saurin. On the Relations between the Syntactic Theories of lambda-mu-Calculi. In Michael Kaminski, Simone Martini, editors, Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings. Volume 5213 of Lecture Notes in Computer Science, pages 154-168, Springer, 2008. [doi]
@inproceedings{Saurin08:0,
title = {On the Relations between the Syntactic Theories of lambda-mu-Calculi},
author = {Alexis Saurin},
year = {2008},
doi = {10.1007/978-3-540-87531-4_13},
url = {http://dx.doi.org/10.1007/978-3-540-87531-4_13},
researchr = {https://researchr.org/publication/Saurin08%3A0},
cites = {0},
citedby = {0},
pages = {154-168},
booktitle = {Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings},
editor = {Michael Kaminski and Simone Martini},
volume = {5213},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-87530-7},
}