Article contents
Z property for the shuffling calculus
Published online by Cambridge University Press: 10 January 2023
Abstract
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 σ .
- Type
- Special Issue: Confluence
- Information
- Mathematical Structures in Computer Science , Volume 32 , Special Issue 7: Confluence , August 2022 , pp. 1015 - 1027
- Copyright
- © The Author(s), 2023. Published by Cambridge University Press
References
- 1
- Cited by