Interaction nets for linear logic

DOI10.1016/S0304-3975(00)00198-5MaRDI QIDQ1583245zbMATH OpenFDO

Authors Ian Mackie

Publication date 26 October 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

linear logiccut-eliminationlocal computationsinteraction nets

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Encoding linear logic with interaction combinators
• Linear logic for nets with bounded resources
• Interaction nets and term-rewriting systems
• Interaction graphs: full linear logic
• scientific article; zbMATH DE number 786495
• scientific article; zbMATH DE number 7359406
• scientific article; zbMATH DE number 1487844
• scientific article; zbMATH DE number 860037
• An Explicit Framework for Interaction Nets
• An explicit framework for interaction nets

Cites work

• scientific article; zbMATH DE number 1487844 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 786495 (Why is no real title available?)
• scientific article; zbMATH DE number 786500 (Why is no real title available?)
• scientific article; zbMATH DE number 860037 (Why is no real title available?)
• Applying dispersion correction to numerical approximations of the two‐dimensional wave equation ‐ eigenproblems
• Interaction combinators
• Interaction nets and term-rewriting systems
• Linear logic
• Logic colloquium '88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988
• The bologna optimal higher-order machine
• The optimal implementation of functional programming languages
• Tree-Manipulating Systems and Church-Rosser Theorems
• YALE: yet another lambda evaluator based on interaction nets

Cited in

(19)

• scientific article; zbMATH DE number 1487844 (Why is no real title available?)
• Encoding linear logic with interaction combinators
• Proof nets, garbage, and computations
• An explicit framework for interaction nets
• A semantic measure of the execution time in linear logic
• Interactive Logical Structures
• The structure of interaction
• Differential interaction nets
• An Explicit Framework for Interaction Nets
• scientific article; zbMATH DE number 1392290 (Why is no real title available?)
• A Logical Calculus for Modelling Interferences
• scientific article; zbMATH DE number 860037 (Why is no real title available?)
• scientific article; zbMATH DE number 786491 (Why is no real title available?)
• scientific article; zbMATH DE number 2185715 (Why is no real title available?)
• Interaction nets and term-rewriting systems
• scientific article; zbMATH DE number 7809762 (Why is no real title available?)
• A fully labelled lambda calculus: towards closed reduction in the geometry of interaction machine
• A calculus for interaction nets based on the linear chemical abstract machine
• Universal Boolean systems

This page was built for publication: Interaction nets for linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1583245)