Embedding the finitary pi-calculus in differential interaction nets (2006)

Cached

Download Links

by Thomas Ehrhard , Olivier Laurent , Preuves Programmes Systèmes
Venue:In Proceedings of the Higher Order Rewriting workshop (HOR 2006
Citations:11 - 5 self