scientific article; zbMATH DE number 3619856

MaRDI QIDQ4182476zbMATH OpenFDO

Authors J. A. Bergstra, Jan Willem Klop, Henri Volken, Henk Barendregt

Publication date 1976

zbMATH Keywords

Lambda AlgebrasLambda CalculusRepresentability

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited in

(10)

• Descendants and origins in term rewriting.
• Conservation and uniform normalization in lambda calculi with erasing reductions
• Minimality in a linear calculus with iteration
• Asymptotic properties of combinatory logic
• scientific article; zbMATH DE number 3659565 (Why is no real title available?)
• Higher-order families
• Simplified reducibility proofs of Church-Rosser for \({\beta}\)- and \({\beta}{\eta}\)-reduction
• On the longest perpetual reductions in orthogonal expression reduction systems
• Quantitative weak linearisation
• Analytic proof systems for -calculus: the elimination of transitivity, and why it matters

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