Z property for the shuffling calculus. (10th August 2022)
- Record Type:
- Journal Article
- Title:
- Z property for the shuffling calculus. (10th August 2022)
- Main Title:
- Z property for the shuffling calculus
- Authors:
- Nakazawa, Koji
Fujita, Ken-etsu
Imagawa, Yuta - Abstract:
- 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 σ .
- Is Part Of:
- Mathematical structures in computer science. Volume 32:Number 7(2022)
- Journal:
- Mathematical structures in computer science
- Issue:
- Volume 32:Number 7(2022)
- Issue Display:
- Volume 32, Issue 7 (2022)
- Year:
- 2022
- Volume:
- 32
- Issue:
- 7
- Issue Sort Value:
- 2022-0032-0007-0000
- Page Start:
- 1015
- Page End:
- 1027
- Publication Date:
- 2022-08-10
- Subjects:
- Confluence -- Z theorem -- call-by-value lambda calculus
Computer science -- Mathematics -- Periodicals
004.015105 - Journal URLs:
- http://journals.cambridge.org/action/displayJournal?jid=MSC ↗
- DOI:
- 10.1017/S0960129522000408 ↗
- Languages:
- English
- ISSNs:
- 0960-1295
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 27133.xml