彼得·霍夫斯特拉;菲利普·斯科特 范畴递归理论的几个方面。 （英语） Zbl 1486.81060号 克劳迪娅·卡萨迪奥（编辑）等人，约阿希姆·兰贝克：数学、逻辑和语言学的相互作用。查姆：斯普林格。外部。控制日志。20, 219-269 (2021). 审核人：卡洛斯·佩德罗·贡萨尔维斯（里斯本） MSC公司：81页68 2004年第68季度 18-08 03D60年 01A05号 01-01 81-01 94年1月 PDF格式BibTeX公司 XML格式引用 \textit{P.Hofstra}和\textit{P.Scott}，Outst。控制日志。20、219--269（2021；Zbl 1486.81060） 全文： 内政部 arXiv公司
彼得·霍夫斯特拉;迈克尔·沃伦（Michael A.Warren）。 类型理论的组合可实现性模型。 （英语） Zbl 1323.03013号 Ann.纯粹应用。逻辑 164，第10期，957-988（2013）.MSC公司：03B15号机组 03G30型 第18页第15页 18天30分 PDF格式BibTeX公司 XML格式引用 \textit{P.Hofstra}和\textit{M.A.Warren}，Ann.Pure Appl。逻辑164，No.10，957--988（2013；Zbl 1323.03013） 全文： 内政部 arXiv公司
史蒂夫·阿沃迪;彼得·霍夫斯特拉;迈克尔·沃伦（Michael A.Warren）。 Martin-Löf复合体。 （英语） Zbl 1323.03012号 Ann.纯粹应用。逻辑 164，第10期，928-956（2013）.MSC公司：03B15号机组 03G30型 18G55型 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey}等人，Ann.Pure Appl。逻辑164，No.10，928--956（2013；Zbl 1323.03012） 全文： 内政部 arXiv公司