University of Sussex
Browse

File(s) not publicly available

Interaction Net Implementation of Additive and Multiplicative Structures

journal contribution
posted on 2023-06-08, 06:08 authored by Ian MackieIan Mackie
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.

History

Publication status

  • Published

Journal

Journal of Logic and Computation

ISSN

0955792X

Publisher

Oxford University Press

Issue

2

Volume

15

Page range

219-237

Department affiliated with

  • Informatics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC