scientific article; zbMATH DE number 1523048

MaRDI QIDQ4511323zbMATH OpenFDO

Authors Stefano Guerrini

Publication date 30 October 2000

zbMATH Keywords

rewriting system

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Recommendations

• Sharing implementations of graph rewriting systems
• A general theory of sharing graphs
• Is the Optimal Implementation Inefficient? Elementarily Not
• On global dynamics of optimal graph reduction
• Paths, computations and labels in the λ-calculus

Cited in

(19)

• Coherence for sharing proof-nets
• A general theory of sharing graphs
• Maximal sharing in the lambda calculus with letrec
• An abstract concept of optimal implementation
• Sharing implementations of graph rewriting systems
• Term graph representations for cyclic \(\lambda\)-terms
• scientific article; zbMATH DE number 4106256 (Why is no real title available?)
• scientific article; zbMATH DE number 742718 (Why is no real title available?)
• scientific article; zbMATH DE number 1086661 (Why is no real title available?)
• scientific article; zbMATH DE number 1546504 (Why is no real title available?)
• scientific article; zbMATH DE number 1547155 (Why is no real title available?)
• On the dynamics of sharing graphs
• Paths, computations and labels in the λ-calculus
• Coherence for sharing proof nets
• Is the Optimal Implementation Inefficient? Elementarily Not
• Programming Languages and Systems
• On global dynamics of optimal graph reduction
• Paths, computations and labels in the \(\lambda\)-calculus
• Reduction graphs in the lambda calculus

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