Marc de Falco
An Explicit Framework for Interaction Nets
RTA, 2009.
@inproceedings{RTA-2009-Falco,
author = "Marc de Falco",
booktitle = "{Proceedings of the 20th International Conference on Rewriting Techniques and Applications}",
doi = "10.1007/978-3-642-02348-4_15",
editor = "Ralf Treinen",
isbn = "978-3-642-02347-7",
pages = "209--223",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{An Explicit Framework for Interaction Nets}",
volume = 5595,
year = 2009,
}











