Marc de Falco
The Geometry of Interaction of Differential Interaction Nets
LICS, 2008.
@inproceedings{LICS-2008-Falco, author = "Marc de Falco", booktitle = "{Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2008.23", isbn = "978-0-7695-3183-0", pages = "465--475", publisher = "{IEEE Computer Society}", title = "{The Geometry of Interaction of Differential Interaction Nets}", year = 2008, }