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,
}











