Acyclic solos and differential interaction nets (0)

by Thomas Ehrhard, Olivier Laurent
Venue:Logical Methods in Computer Science