杰伦、布拉姆;保罗·布莱恩·利维 迭代和标记迭代。 （英语） Zbl 1394.68061号 Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），美国宾夕法尼亚州匹兹堡卡耐基梅隆大学，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325127-146（2016）。MSC公司：第68页第18页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛B.Geron｝和\textit｛P.B.Levy｝，Electron。注释Theor。计算。科学。325127--146（2016；Zbl 1394.68061） 全文： 内政部
川谷义彦;大辅木村 由共同归纳和控制操作符以指名形式归纳。 （英语） Zbl 1471.68069号 de’Liguoro，Ugo（编辑）等人，《控制算子及其语义第一次研讨会论文集》，COS 2013，荷兰埃因霍温，2013年6月24日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）127101-112（2013）。MSC公司：68号30 68甲15 第68页第18页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kakutani}和\textit{D.Kimura}，电子。程序。西奥。计算。科学。（EPTCS）127101-112（2013；Zbl 1471.68069） 全文： arXiv公司 链接
大辅木村;川谷义彦 S4模态逻辑的经典自然演绎。 （英语） Zbl 1251.68071号 新一代计算机。 29，第1期，61-86（2011）.MSC公司：第68页第18页 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Kimura}和\textit{Y.Kakutani}，新一代计算。29，第1号，61--86（2011；Zbl 1251.68071） 全文： 内政部
大辅木村;Makoto Tatsuta 具有归纳和共归纳类型的对偶演算。 （英语） Zbl 1242.03085号 Treinen，Ralf（编辑），重写技术和应用。第20届国际会议，RTA 2009，巴西巴西利亚，2009年6月29日至7月1日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02347-7/pbk）。计算机科学课堂讲稿5595224-238（2009）。MSC公司：05年3月 03B40型 第68页第18页 PDF格式BibTeX公司 XML格式引用 \textit{D.Kimura}和\textit{M.Tatsuta}，莱克特。注释计算。科学。5595、224--238（2009年；Zbl 1242.03085） 全文： 内政部
大辅木村 Call-by-value是Call-by-name的双重扩展。 （英语） Zbl 1138.68025号 Shao，Zhong（编辑），《程序设计语言和系统》。第五届亚洲研讨会，2007年11月29日至12月1日，新加坡，APLAS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-76636-0/pbk）。计算机科学讲座笔记4807，415-430（2007）。MSC公司：68号30 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kimura}，莱克特。注释计算。科学。4807、415--430（2007年；Zbl 1138.68025） 全文： 内政部