2017年 Z for Call-by-Value Proceedings of the 6th International Workshop on Confluence Koji Nakazawa,Ken-etsu Fujita,Yuta Imagawa 開始ページ 57 終了ページ 61 エクスポート BibTeX RIS