Alexis Saurin
On the Relations between the Syntactic Theories of λμ-Calculi
CSL, 2008.
@inproceedings{CSL-2008-Saurin, author = "Alexis Saurin", booktitle = "{Proceedings of the 17th EACSL Annual Conference / 22nd International Workshop on Computer Science Logic}", doi = "10.1007/978-3-540-87531-4_13", isbn = "978-3-540-87530-7", pages = "154--168", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{On the Relations between the Syntactic Theories of λμ-Calculi}", volume = 5213, year = 2008, }