scientific article; zbMATH DE number 1546504

zbMATH Open0963.03022MaRDI QIDQ4522249FDOQ4522249

Authors: Benedetto Intrigila, Anna R. Laurenzi 

Publication date: 25 June 2001

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

Recommendations

• Reduction graphs in the lambda calculus
• scientific article; zbMATH DE number 3851045
• Graph lambda theories
• Mathematical Foundations of Computer Science 2003
• scientific article; zbMATH DE number 1523048

zbMATH Keywords

lambda calculusreduction graphsreduction cycles

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (4)

• One-step recurrent terms in \(\lambda\)-\(\beta\)-calculus
• Anagopos: a reduction graph visualizer for term rewriting and lambda calculus
• Reduction graphs in the lambda calculus
• Reductions and functors from problems to word problems

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