Macros for Interaction Nets: A Conservative Extension of Interaction Nets

Sinot, François-Régis and Mackie, Ian (2005) Macros for Interaction Nets: A Conservative Extension of Interaction Nets. In: Electronic Notes in Theoretical Computer Science.

Full text not available from this repository.
Item Type: Conference or Workshop Item (Paper)
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: Ian Mackie
Date Deposited: 06 Feb 2012 19:44
Last Modified: 13 Apr 2012 09:23
URI: http://sro.sussex.ac.uk/id/eprint/22021
📧 Request an update