Interaction Net Implementation of Additive and Multiplicative Structures

Mackie, Ian (2005) Interaction Net Implementation of Additive and Multiplicative Structures. Journal of Logic and Computation, 15 (2). pp. 219-237. ISSN 0955792X

Full text not available from this repository.


Interaction nets provide a graphical paradigm of computation based on net rewriting. They have proved most successful in understanding the dynamics of reduction in the λ-calculus, where very efficient evaluators have been obtained. Most work in this area is heavily based on the pure λ-calculus, and a general theory of coding data structures with interaction nets has not been forthcoming. The purpose of this paper is to show how all of these systems encoding the λ-calculus can be extended to work with different kinds of data structures, which is a first step towards using these evaluators as the basis of implementation of a richer programming language.

Item Type: Article
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: Ian Mackie
Date Deposited: 06 Feb 2012 20:23
Last Modified: 08 Jun 2012 09:07
📧 Request an update