The separation theorem for differential interaction nets (2007)

by D Mazza, M Pagani
Venue:In Proceedings of the 14th LPAR International Conference, volume 4790 of LNAI