Z property for the shuffling calculus

Z property for the shuffling calculus

This paper gives a new proof of confluence for Carraro and Guerrieri’s call-by-value lambda calculus λ v σ with permutation rules. We adapt the compositional Z theorem to λ v σ .

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Mathematical structures in computer science 2022-08, Vol.32 (7), p.1015-1027
Hauptverfasser: Nakazawa, Koji, Fujita, Ken-etsu, Imagawa, Yuta
Format: Artikel
Sprache:eng
Schlagworte:
Calculus
Permutations
Special Issue: Confluence
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper gives a new proof of confluence for Carraro and Guerrieri’s call-by-value lambda calculus λ v σ with permutation rules. We adapt the compositional Z theorem to λ v σ .
ISSN:0960-1295
1469-8072
DOI:10.1017/S0960129522000408