scientific article; zbMATH DE number 1231498

zbMATH Open0911.68092MaRDI QIDQ4222808FDOQ4222808

Authors: Sabine Kuske 

Publication date: 13 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume2.htm#kuske

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

Recommendations

• Sharing implementations of graph rewriting systems
• \(\pi\)-RED - a graph reducer for a full-fledged \(\lambda\)-calculus
• Bottom-up \(\beta\)-reduction: uplinks and \(\lambda\)-DAGs
• scientific article; zbMATH DE number 1086663

zbMATH Keywords

\(\lambda\)-calculushypergraph rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (8)

• Bottom-up \(\beta\)-reduction: uplinks and \(\lambda\)-DAGs
• Title not available (Why is that?)
• Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting
• A chemical abstract machine for graph reduction extended abstract
• Title not available (Why is that?)
• Implementing \(\mathcal{X}\)
• Unification of hypergraph \(\lambda\)-terms
• Programming Languages and Systems

Uses Software

• PLUMP

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