Interaction nets for linear logic
type: Item
instance of: scholarly article
title: Interaction nets for linear logic
zbMATH Open document ID: 0954.03067
DOI: 10.1016/S0304-3975(00)00198-5
published in: Theoretical Computer Science
publication date: 2000-10-26T00:00:00Z
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1521728
zbMATH Keywords: linear logic
zbMATH Keywords: cut-elimination
zbMATH Keywords: interaction nets
zbMATH Keywords: local computations
author: Ian Mackie
MaRDI profile type: Publication
cites work: The bologna optimal higher-order machine
cites work: Q5397484
cites work: Interaction nets and term-rewriting systems
cites work: Q4494368
cites work: Q4870807
cites work: Linear logic
cites work: Logic colloquium '88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988
cites work: Q4842981
cites work: Q4842966
cites work: Q4842976
cites work: Interaction combinators
cites work: Applying dispersion correction to numerical approximations of the two‐dimensional wave equation ‐ eigenproblems
cites work: YALE
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
Recommended article: Encoding linear logic with interaction combinators
Recommended article: Linear logic for nets with bounded resources
Recommended article: Interaction nets and term-rewriting systems
Recommended article: Interaction Graphs
Recommended article: Q4842976
Recommended article: Q4993336
Recommended article: Q4494368
Recommended article: Q4870807
Recommended article: An Explicit Framework for Interaction Nets
description: scientific article; zbMATH DE number 1521728