scientific article; zbMATH DE number 2090088

zbMATH Open1045.68593MaRDI QIDQ4808763FDOQ4808763

Sylvain Lippi

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2378/23780380.htm

Title of this publication is not available (Why is that?)

Recommendations

• Towards a programming language for interaction nets
• Compilation of interaction nets
• Interaction Net Implementation of Additive and Multiplicative Structures
• scientific article; zbMATH DE number 1487844
• YALE: yet another lambda evaluator based on interaction nets

Mathematics Subject Classification ID

Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (10)

• Title not available (Why is that?)
• The graphical Krivine machine
• Title not available (Why is that?)
• Compilation of Interaction Nets
• Strategic port graph rewriting: an interactive modelling framework
• Recursive Functions with Pattern Matching in Interaction Nets
• From functional programs to interaction nets via the rewriting calculus
• The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter
• Hard combinators
• Interaction nets with nested pattern matching

This page was built for publication:

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