Conditional nested pattern matching in interaction net

DOI10.4204/EPTCS.408.6MaRDI QIDQ6934055zbMATH OpenFDO

Authors Shinya Sato

Publication date 3 September 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4204/EPTCS.408.6

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites work

• scientific article; zbMATH DE number 4052984 (Why is no real title available?)
• Interaction nets with nested pattern matching
• LCF considered as a programming language
• Macros for interaction nets: a conservative extension of interaction nets
• YALE: yet another lambda evaluator based on interaction nets

This page was built for publication: Conditional nested pattern matching in interaction net

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