DMCA

On Differential Interaction Nets and the Pi-calculus (2006)

by Thomas Ehrhard , Olivier Laurent
Venue:Preuves, Programmes et Systèmes
Citations:2 - 1 self