A formal system of reduction paths for parallel reduction

DOI10.1016/J.TCS.2020.01.002MaRDI QIDQ1989338zbMATH OpenOpenAlexWikidataFDO

Authors Ken-etsu Fujita

Publication date 21 April 2020

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2020.01.002

zbMATH Keywords

\( \lambda \)-calculusChurch-Rosser theoremparallel reductionplane graphquiverTakahashi translation

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Grammars and rewriting systems (68Q42) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 124283
• The conflict-free reduction geometry
• Parallel reductions in \(\lambda\)-calculus
• The geometry of orthogonal reduction spaces
• Parallel reductions in \(\lambda\)-calculus

Cites work

• A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)
• A simplified proof of the Church-Rosser theorem
• Complete rewriting systems and homology of monoid algebras
• Compositional Z: confluence proofs for permutative conversion
• Exact bounds for lengths of reductions in typed -calculus
• Finitary higher inductive types in the groupoid model
• scientific article; zbMATH DE number 3853055 (Why is no real title available?)
• scientific article; zbMATH DE number 5318491 (Why is no real title available?)
• scientific article; zbMATH DE number 2228448 (Why is no real title available?)
• scientific article; zbMATH DE number 3083488 (Why is no real title available?)
• Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and -calculus
• Lectures on the Curry-Howard isomorphism
• Parallel reductions in \(\lambda\)-calculus
• The Church-Rosser theorem and quantitative analysis of witnesses
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The typed lambda-calculus is not elementary recursive

Cited in

(1)

• Z property for the shuffling calculus

This page was built for publication: A formal system of reduction paths for parallel reduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1989338)