scientific article; zbMATH DE number 7438583

zbMath1476.68174arXiv1504.02603MaRDI QIDQ5013889

Wolfram Kahl

Publication date: 3 December 2021

Full work available at URL: https://arxiv.org/abs/1504.02603

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• Haskell
• PORGY
• PELCR
• MPINE

Cites Work

• From Functional Programs to Interaction Nets via the Rewriting Calculus
• Implementing term rewriting by jungle evaluation
• Compilation of Interaction Nets
• PELCR
• YALE
• Relational Methods in Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: