## Damien Pous

*Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic*

CSL, 2010.

@inproceedings{CSL-2010-Pous, author = "Damien Pous", booktitle = "{Proceedings of the 19th EACSL Annual Conference / 24th International Workshop on Computer Science Logic}", doi = "10.1007/978-3-642-15205-4_37", isbn = "978-3-642-15204-7", pages = "484--498", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic}", volume = 6247, year = 2010, }