Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 2059570

From MaRDI portal
Publication:4457840
Jump to:navigation, search

zbMATH Open1062.68067MaRDI QIDQ4457840FDOQ4457840


Authors: Maribel Fernández, Lionel Khalil Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4457840&oldid=18514297"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 7 February 2024, at 04:59. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki