scientific article; zbMATH DE number 3851045

MaRDI QIDQ3320341zbMATH OpenFDO

Authors

Publication date 1983

zbMATH Keywords

lambda calculusreduction graphreduction sequence

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Cofinite graphs and their profinite completions
• Some coinductive graphs
• An algebraic theory of graph reduction
• scientific article; zbMATH DE number 177426
• Reducibility in finite posets
• Reductions to graph isomorphism
• Reductions to Graph Isomorphism
• Reduction graph and its application on algebraic graphs
• Reducible properties of graphs
• Reducibility of Eulerian graphs and digraphs

Cited in

(6)

• One-step recurrent terms in \(\lambda\)-\(\beta\)-calculus
• Orders, reduction graphs and spectra
• scientific article; zbMATH DE number 1546504 (Why is no real title available?)
• Cofinite graphs and their profinite completions
• Cohesive avoidance and strong reductions
• 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 Q3320341)