scientific article; zbMATH DE number 1487844

zbMath0953.68069MaRDI QIDQ4494368

Maribel Fernández, Ian Mackie

Publication date: 10 August 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

interaction netsgraphical rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (13)

An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ Operational equivalence for interaction nets. ⋮ Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Strategic port graph rewriting: an interactive modelling framework ⋮ Recursive Functions with Pattern Matching in Interaction Nets ⋮ Compilation of Interaction Nets ⋮ An Explicit Framework for Interaction Nets ⋮ An implementation model of the typed λ-calculus based on Linear Chemical Abstract Machine ⋮ Interaction Nets with McCarthy's amb ⋮ Interaction nets for linear logic ⋮ A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine

This page was built for publication: