Z property for the shuffling calculus.

Autor: Nakazawa, Koji, Fujita, Ken-etsu, Imagawa, Yuta
Předmět:
Zdroj: Mathematical Structures in Computer Science; Aug2022, Vol. 32 Issue 7, p1015-1027, 13p
Abstrakt: 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 σ . [ABSTRACT FROM AUTHOR]
Databáze: Complementary Index
Externí odkaz: