Meaningless sets in infinitary combinatory logic

DOI10.4230/LIPICS.RTA.2012.288zbMATH Open1437.03053OpenAlexW2295195915MaRDI QIDQ5111912FDOQ5111912

Authors: Fer-Jan De Vries, Paula Severi 

Publication date: 27 May 2020

Full work available at URL: http://drops.dagstuhl.de/opus/volltexte/2012/3499/pdf/22.pdf/

Recommendations

• Decomposing the lattice of meaningless sets in the infinitary lambda calculus
• scientific article; zbMATH DE number 6792351
• Weakening the axiom of overlap in infinitary lambda calculus
• Meaningless terms in rewriting
• scientific article; zbMATH DE number 1332646

zbMATH Keywords

infinitary rewritinginfinitary combinatory logicmeaningless set confluence and normalisation

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (4)

• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• Decomposing the lattice of meaningless sets in the infinitary lambda calculus
• Weakening the axiom of overlap in infinitary lambda calculus
• Highlights in infinitary rewriting and lambda calculus

This page was built for publication: Meaningless sets in infinitary combinatory logic

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