A calculus for interaction nets based on the linear chemical abstract machine
type: Item
instance of: scholarly article
zbMATH Open document ID: 1277.68105
author: Ian Mackie
author: Shinya Sato
published in: Electronic Notes in Theoretical Computer Science
publication date: 2013-12-06T00:00:00Z
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 03F52
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 6236498
zbMATH Keywords: interaction net
zbMATH Keywords: linear logic
zbMATH Keywords: chemical abstract machine
zbMATH Keywords: CHAM
MaRDI profile type: Publication
full work available at URL: j.entcs.2008.10.027
OpenAlex ID: W2030587281
cites work: Computational interpretations of linear logic
cites work: Interaction nets and term-rewriting systems
cites work: Q4494368
cites work: Q4508401
cites work: Linear logic
cites work: Encoding left reduction in the λ-calculus with interaction nets
cites work: Interaction nets for linear logic
cites work: Towards a programming language for interaction nets
cites work: Q4508308
DOI: 10.1016/J.ENTCS.2008.10.027
Recommended article: Q4494368
Recommended article: Interaction nets for linear logic
Recommended article: Q4263874
Recommended article: Q4986739
Recommended article: On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
Recommended article: Q4508308
Recommended article: Interaction nets and term-rewriting systems
Recommended article: Interaction nets and term rewriting systems (extended abstract)
Recommended article: An implementation model of the typed \(\lambda\)-calculus based on linear chemical abstract machine
Recommended article: Encoding an object calculus into interaction nets
title: A calculus for interaction nets based on the linear chemical abstract machine
description: scientific article; zbMATH DE number 6236498