University of Sussex
Browse

File(s) not publicly available

Encoding Linear Logic with Interaction Combinators

journal contribution
posted on 2023-06-07, 21:49 authored by Ian MackieIan Mackie, Jorge Sousa Pinto
No description supplied

History

Publication status

  • Published

Journal

Information and Computation

ISSN

0960-1295

Issue

2

Volume

176

Page range

153-186

Pages

34.0

Department affiliated with

  • Informatics Publications

Notes

Originality: This is the first paper to show how interaction combinators can be used to give an efficient implementation of programs, and an essential step in the use of them for implicit parallelism, as currently used for multi-core architectures. Rigour: New proof techniques for interaction nets were developed to prove correctness of the encodings. Implemented to obtain experimental evidence to support the claims of the paper. Significance: Interaction combinators are a new computational model which offer local and parallel computation steps. The work is part of a long-term international collaboration. Impact: Provided some of the essential ideas that are now a central part of work on optimal reduction.

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