scientific article; zbMATH DE number 4179330

MaRDI QIDQ3202988zbMATH OpenFDO

Authors Zurab Khasidashvili

Publication date 1990

zbMATH Keywords

essential reductionlambda calculusstrict equivalence of reductions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• A Note on Shortest Developments
• An equivalence between lambda- terms
• Linear -reduction
• Refining reduction in the lambda calculus
• Parallel reductions in \(\lambda\)-calculus

Cited in

(6)

• The Church-Rosser theorem and quantitative analysis of witnesses
• Descendants and origins in term rewriting.
• Perpetuality and uniform normalization in orthogonal rewrite systems
• A Note on Shortest Developments
• Relative normalization in Deterministic Residual Structures
• Minimal relative normalization in orthogonal expression reduction systems

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