Arnon Avron, Anna Zamansky. A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. In Edward A. Hirsch, Alexander A. Razborov, Alexei L. Semenov, Anatol Slissenko, editors, Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings. Volume 5010 of Lecture Notes in Computer Science, pages 52-63, Springer, 2008. [doi]
@inproceedings{AvronZ08,
title = {A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics},
author = {Arnon Avron and Anna Zamansky},
year = {2008},
doi = {10.1007/978-3-540-79709-8_9},
url = {http://dx.doi.org/10.1007/978-3-540-79709-8_9},
tags = {semantics},
researchr = {https://researchr.org/publication/AvronZ08},
cites = {0},
citedby = {0},
pages = {52-63},
booktitle = {Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings},
editor = {Edward A. Hirsch and Alexander A. Razborov and Alexei L. Semenov and Anatol Slissenko},
volume = {5010},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-79708-1},
}