scientific article; zbMATH DE number 2059570

MaRDI QIDQ4457840zbMATH OpenFDO

Authors Maribel Fernández, Lionel Khalil

Publication date 17 March 2004

zbMATH Keywords

type systemsrewrite systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Interaction nets with McCarthy's \(\mathsf{amb}\)
• Interaction Net Implementation of Additive and Multiplicative Structures
• Publication:4508308
• YALE: yet another lambda evaluator based on interaction nets
• YALE: yet another lambda evaluator based on interaction nets

Cited in

(4)

• Token-passing optimal reduction with embedded read-back
• Interaction nets with McCarthy's \(\mathsf{amb}\)
• Recursive Functions with Pattern Matching in Interaction Nets
• Macros for interaction nets: a conservative extension of interaction nets

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 Q4457840)