Interaction Net Implementation of Additive and Multiplicative Structures

DOI10.1093/LOGCOM/EXI011zbMath1101.68453OpenAlexW2072347726MaRDI QIDQ3025335

Ian Mackie

Publication date: 13 July 2005

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi011

zbMATH Keywords

linear logic\(\lambda\)-calculusdata typesInteraction nets

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Unnamed Item ⋮ From Functional Programs to Interaction Nets via the Rewriting Calculus

This page was built for publication: Interaction Net Implementation of Additive and Multiplicative Structures