scientific article; zbMATH DE number 2044492

MaRDI QIDQ4448356zbMATH OpenFDO

Authors Silvia Ghilezan, Viktor Kuncak

Publication date 18 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2202/22020038.htm

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Adding algebraic rewriting to the untyped lambda calculus (extended abstract)
• Adding algebraic rewriting to the untyped lambda calculus
• Confluence of the lambda calculus with left-linear algebraic rewriting
• New proofs of important theorems of untyped extensional \(\lambda\) calculus
• A direct proof of the confluence of combinatory strong reduction

Cited in

(8)

• Skew confluence and the lambda calculus with letrec
• Reducibility: a ubiquitous method in lambda calculus with intersection types
• scientific article; zbMATH DE number 2185664 (Why is no real title available?)
• scientific article; zbMATH DE number 431764 (Why is no real title available?)
• scientific article; zbMATH DE number 1303341 (Why is no real title available?)
• Proving the genericity lemma by leftmost reduction is simple
• Simplified reducibility proofs of Church-Rosser for \({\beta}\)- and \({\beta}{\eta}\)-reduction
• A direct proof of the confluence of combinatory strong reduction

Describes a project that uses

Uses Software

• Automath

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