Meaningless sets in infinitary combinatory logic

DOI10.4230/LIPICS.RTA.2012.288MaRDI QIDQ5111912zbMATH OpenOpenAlexFDO

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/

zbMATH Keywords

infinitary rewritinginfinitary combinatory logicmeaningless set confluence and normalisation

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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

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)