霍夫斯特拉，皮特;罗宾·科克特 一元理论，一元范畴。 （英语） Zbl 1343.18012号 Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265，11-33（2010）。MSC公司：18D20天 03B40型 08A55号 PDF格式BibTeX公司 XML格式引用 \textit{P.Hofstra}和\textit{R.Cockett}，电子。注释Theor。计算。科学。265，11-33（2010；Zbl 1343.18012） 全文： 内政部
卢茨·施罗德;蒂尔·莫萨科夫斯基 HasCasl：集成高阶规范和程序开发。 （英语） Zbl 1172.68040号 西奥。计算。科学。 410，编号12-13，1217-1260（2009）.MSC公司：68问题65 03B15号机组 03B70号 68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Schröder}和\textit{T.Mossakowski}，Theor。计算。科学。410，编号12--131217--1260（2009；Zbl 1172.68040） 全文： 内政部
科科特，J.R.B。;P.J.W.霍夫斯特拉。 图灵类别简介。 （英语） Zbl 1155.03030号 Ann.纯粹应用。逻辑 156，编号2-3，183-209（2008）.MSC公司：03天75 03B40型 18甲15 18 C50 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.R.B.Cockett}和\textit{P.J.W.Hofstra}，Ann.Pure Appl。逻辑156，编号2--3，183-209（2008；Zbl 1155.03030） 全文： 内政部
马内斯，厄尼 布尔限制类别和紧单子。 （英语） Zbl 1097.68071号 西奥。计算。科学。 360，编号1-3，77-95（2006）.MSC公司：68问题55 18立方厘米 68甲18 PDF格式BibTeX公司 XML格式引用 \文本{E.Manes}，Theor。计算。科学。360，编号1--3，77-95（2006；Zbl 1097.68071） 全文： 内政部
卢茨·施罗德 HASCASL序言：部分演算的分类语法和语义。 （英语） Zbl 1088.68116号 西奥。计算。科学。 353，编号1-3，1-25（2006）.MSC公司：68问题65 68甲18 03B40型 03G30型 PDF格式BibTeX公司 XML格式引用 \文本{L.Schröder}，Theor。计算。科学。353，编号1--3，1--25（2006；Zbl 1088.68116） 全文： 内政部
卢茨·施罗德 部分等式逻辑的分类。 （英语） Zbl 1270.03147号 Rick Blute（编辑）等人，CTCS’02。2002年8月15日至17日，加拿大安大略省渥太华市，第九届类别理论与计算机科学会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记69305-322（2003）。MSC公司：03G30型 03B40型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{L.Schröder}，电子。注释Theor。计算。科学。69、305-322（2003年；Zbl 1270.03147） 全文： 内政部
安娜·布卡洛;卡斯滕·范尔曼;亚历克斯·辛普森 提升单子的等式概念。 （英语） Zbl 1022.18003号 西奥。计算。科学。 294，编号1-2，31-60（2003）. 审核人：Hirokazu Nishimura（筑波/茨城） MSC公司：18B20型 2005年第68季度 18立方厘米 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Bucalo}等人，Theor。计算。科学。294，编号1--2，31-60（2003；Zbl 1022.18003） 全文： 内政部
本田、高黑;吉田、Nobuko 呼叫值计算的博弈分析。 （英语） Zbl 0930.68061号 西奥。计算。科学。 221，编号1-2，393-456（1999）.MSC公司：2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.本田}和\textit{N.吉田}，提奥。计算。科学。221，编号1--2，393--456（1999；Zbl 0930.68061） 全文： 内政部
本田、高黑;吉田、Nobuko 按价值调用计算的博弈论分析。 （英语） Zbl 1401.68032号 Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/ebook）。计算机科学课堂讲稿1256225-236（1997）。MSC公司：68甲18 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.本田}和\textit{N.吉田}，莱克特。注释计算。科学。1256225-236（1997年；Zbl 1401.68032） 全文： 内政部
菲利普·莫里。 部分映射分类器和部分笛卡尔闭范畴。 （英语） Zbl 0874.68183号 西奥。计算。科学。 136，第1号，109-123（1994）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \文本{P.S.Murry}，Theor。计算。科学。136，编号1，109-123（1994年；Zbl 0874.68183） 全文： 内政部
罗伯特·阿马迪奥（Roberto M.Amadio）。 可实现性结构上的递归。 （英语） Zbl 0760.03012号 Inf.计算。 91，第1号，55-85（1991）. 审核人：M.Eytan（斯特拉斯堡） MSC公司：03天80 03B40型 68问题55 03楼50 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Amadio}，信息计算。91，编号1，55--85（1991；Zbl 0760.03012） 全文： 内政部