scientific article; zbMATH DE number 1546504

MaRDI QIDQ4522249zbMATH OpenFDO

Authors Benedetto Intrigila, Anna R. Laurenzi

Publication date 25 June 2001

zbMATH Keywords

lambda calculusreduction cyclesreduction graphs

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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

Cited in

(6)

• One-step recurrent terms in \(\lambda\)-\(\beta\)-calculus
• Orders, reduction graphs and spectra
• Reductions and functors from problems to word problems
• scientific article; zbMATH DE number 10088 (Why is no real title available?)
• Anagopos: a reduction graph visualizer for term rewriting and 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 Q4522249)