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

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Full abstraction in the lazy lambda calculus
• Transfinite reductions in orthogonal term rewriting systems
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (13)

• Title not available (Why is that?)
• The infinitary lambda calculus of the infinite eta Böhm trees
• Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
• Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus
• Applications of infinitary lambda calculus
• Title not available (Why is that?)
• A class of bounded functions, a database language and an extended lambda calculus
• Highlights in infinitary rewriting and lambda calculus
• Rewriting Techniques and Applications
• Computer Science Logic
• A light modality for recursion
• Descendants and origins in term rewriting.
• From Böhm's theorem to observational equivalences: an informal account

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)