Confluence proofs of lambda-mu-calculi by Z theorem

DOI10.1007/s11225-020-09931-0OpenAlexW3124122202WikidataQ113900498 ScholiaQ113900498MaRDI QIDQ2062209

Ken-etsu Fujita, Koji Nakazawa, Yuki Honda

Publication date: 27 December 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-020-09931-0

zbMATH Keywords

confluencelambda calculuslambda-mu calculuspermutative conversion

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Z property for the shuffling calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Compositional Z: confluence proofs for permutative conversion
• Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus
• Domain-Freeλµ-Calculus
• Typing streams in the Λμ-calculus