論文

査読有り最終著者責任著者

2021年1月

Confluence proofs of lambda-mu-calculi by Z theorem

Studia Logica

DOI: 10.1007/s11225-020-09931-0
出版者・発行元: Springer Nature

リンク情報

DOI: https://doi.org/10.1007/s11225-020-09931-0

ID情報

DOI : 10.1007/s11225-020-09931-0

エクスポート: BibTeX RIS

論文リストへ