scientific article
From MaRDI portal
Publication:2852060
zbMath1273.68256MaRDI QIDQ2852060
Ian Mackie, François-Régis Sinot, Maribel Fernández
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106003665
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Recursive Functions with Pattern Matching in Interaction Nets ⋮ Term Collections in λ and ρ-calculi ⋮ From Functional Programs to Interaction Nets via the Rewriting Calculus
This page was built for publication:
