Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus

DOI10.1007/978-3-642-20920-8_22zbMath1328.03009OpenAlexW2162824469MaRDI QIDQ3003362

Fer-Jan de Vries, Paula G.Severi

Publication date: 27 May 2011

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20920-8_22

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (6)

Graph easy sets of mute lambda terms ⋮ Unnamed Item ⋮ Highlights in infinitary rewriting and lambda calculus ⋮ Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications ⋮ Unnamed Item ⋮ Encoding many-valued logic in $\lambda$-calculus

This page was built for publication: Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus