The Separation Theorem for Differential Interaction Nets.

Damiano Mazza, Michele Pagani

Browse the full LPAR paper archive.