Infinitary lambda calculi and böhm models

DOI10.1007/3-540-59200-8_62zbMATH Open1503.03025OpenAlexW1492737256MaRDI QIDQ5055835FDOQ5055835

Authors Richard Kennaway, Jan Willem Klop, Ronan Sleep, Fer-Jan De Vries

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59200-8_62

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 759438
• Infinitary lambda calculus
• The infinitary lambda calculus of the infinite eta Böhm trees
• Strict ideal completions of the lambda calculus
• scientific article; zbMATH DE number 2090071

Cites work

• scientific article; zbMATH DE number 956467 (Why is no real title available?)
• scientific article; zbMATH DE number 1479633 (Why is no real title available?)
• Full abstraction in the lazy lambda calculus
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Transfinite reductions in orthogonal term rewriting systems

Cited in

(12)

• scientific article; zbMATH DE number 7168147 (Why is no real title available?)
• A class of bounded functions, a database language and an extended lambda calculus
• Highlights in infinitary rewriting and lambda calculus
• Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
• scientific article; zbMATH DE number 2090071 (Why is no real title available?)
• Applications of infinitary lambda calculus
• The infinitary lambda calculus of the infinite eta Böhm trees
• From Böhm's theorem to observational equivalences: an informal account
• Descendants and origins in term rewriting.
• Computer Science Logic
• Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus
• Rewriting Techniques and Applications

This page was built for publication: Infinitary lambda calculi and böhm models

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