scientific article; zbMATH DE number 1512623

zbMath0961.68070MaRDI QIDQ4508308

Jorge Sousa Pinto

Publication date: 3 October 2000

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

zbMATH Keywords

\(\lambda\)-calculusinteraction nets

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (10)

Operational equivalence for interaction nets. ⋮ 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 ⋮ Interaction Nets with McCarthy's amb ⋮ Encoding linear logic with interaction combinators ⋮ A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine ⋮ From Functional Programs to Interaction Nets via the Rewriting Calculus

This page was built for publication: