Encoding an object calculus into interaction nets

MaRDI QIDQ2848121zbMATH OpenFDO

Authors Fabien Fleutot

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050152

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Encoding Strategies in the Lambda Calculus with Interaction Nets
• Encoding left reduction in the λ-calculus with interaction nets
• The -calculus in the -calculus
• From functional programs to interaction nets via the rewriting calculus
• Typed Lambda Calculi and Applications

Cited in

(3)

• A calculus for interaction nets based on the linear chemical abstract machine
• scientific article; zbMATH DE number 1487844 (Why is no real title available?)
• Encoding FIX in Object Calculi

This page was built for publication: Encoding an object calculus into interaction nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848121)