Confluence Proofs of Lambda-Mu-Calculi by Z Theorem
Crossref DOI link: https://doi.org/10.1007/s11225-020-09931-0
Published Online: 2021-01-21
Published Print: 2021-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Honda, Yuki
Nakazawa, Koji
Fujita, Ken-etsu
Text and Data Mining valid from 2021-01-21
Version of Record valid from 2021-01-21
Article History
Received: 11 August 2020
First Online: 21 January 2021