scientific article; zbMATH DE number 2059570

zbMATH Open1062.68067MaRDI QIDQ4457840FDOQ4457840

Authors: Maribel Fernández, Lionel Khalil 

Publication date: 17 March 2004

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

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

zbMATH Keywords

type systemsrewrite systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (2)

• Title not available (Why is that?)
• Recursive Functions with Pattern Matching in 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)