彼得·约翰斯通 修改可实现性的功能。 （英语） Zbl 1386.18008号 第比利。数学。J。 10，第3期，209-222（2017）.MSC公司：18对25 03D65年 03G30型 08A55号 PDF格式BibTeX公司 XML格式引用 \textit{P.Johnstone}，特比勒数学。J.10，第3209-222号（2017年；Zbl 1386.18008） 全文： 内政部
弗雷、乔纳斯 CPS目标语言中的经典可实现性。 （英语） Zbl 1394.68060号 Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325，111-126（2016）。MSC公司：68甲18 03B20型 03B40型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Frey}，电子。注释Theor。计算。科学。325111--126（2016；Zbl 1394.68060） 全文： 内政部
埃里克·费伯;雅普·范·奥斯汀 PCA中类型2的有效操作。 （英语） Zbl 1437.03136号 可计算性 5，第2期，127-146（2016）. 审核人：《迪亚斯沸腾》中的乔奎（基多） MSC公司：03D75号 03D65年 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{E.Faber}和\textit{J.van Oosten}，可计算性5，第2期，127--146（2016；Zbl 1437.03136） 全文： 内政部 arXiv公司
弗雷、乔纳斯 规范中的可实现性拓扑。 （英语） Zbl 1367.68100号 Altenkirch，Thorsten（编辑），第13届lambda calculi类型和应用国际会议，TLCA’15，波兰华沙，2015年7月1日至3日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-87-3）。LIPIcs–莱布尼茨国际信息学论文集38，196-210（2015）。MSC公司：2005年第68季度 03B40型 18对25 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Frey}，LIPIcs——莱布尼茨国际程序。通知。38196-210（2015年；Zbl 1367.68100） 全文： 内政部 arXiv公司
埃里克·费伯;雅普·范·奥斯汀 更多关于可实现拓扑之间的几何形态。 （英语） Zbl 1316.18006号 理论应用。类别。 29, 874-895 (2014). 审核人：谢尔盖斯·索洛夫乔夫斯（布尔诺） MSC公司：18对25 18A20型 08A55号 18D05日 PDF格式BibTeX公司 XML格式引用 \textit{E.Faber}和\textit{J.van Oosten}，理论应用。类别。29874--895（2014；Zbl 1316.18006） 全文： arXiv公司 EMIS公司
彼得·约翰斯通 可实现拓扑的Gleason覆盖。 （英语） Zbl 1307.18001号 理论应用。类别。 28, 1139-1152 (2013). 审核人：迈克尔·舒尔曼（圣地亚哥） MSC公司：18对25 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Johnstone}，理论应用。类别。281139--1152（2013；Zbl 1307.18001） 全文： 排放物
李·索丽;雅普·范·奥斯汀 有效地形的基本子主题。 （英语） Zbl 1288.18001号 Ann.纯粹应用。逻辑 164，第9期，866-883（2013）. 审核人：马可·贝尼尼（布奇纳斯科） MSC公司：18对25 03G30型 03天80 PDF格式BibTeX公司 XML格式引用 \textit{S.Lee}和\textit{J.van Oosten}，Ann.Pure Appl。逻辑164，No.9，866--883（2013；Zbl 1288.18001） 全文： 内政部 arXiv公司
彼得·约翰斯通 可实现拓扑的几何形态。 （英语） Zbl 1273.18004号 理论应用。类别。 28, 241-249 (2013).MSC公司：18对25 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{P.Johnstone}，理论应用。类别。28、241--249（2013；Zbl 1273.18004） 全文： EMIS公司
纳撒内尔·利多姆·阿克曼 可实现拓扑中可数模型的数量。 （英语） Zbl 1269.03061号 J.纯应用。代数 216，第8-9号，1994-2013（2012）.MSC公司：03G30型 03B20型 03立方厘米15 03C90号 18对25 PDF格式BibTeX公司 XML格式引用 \textit{N.L.Ackerman}，J.Pure应用。《代数216》，第8--9期，1994--2013（2012；Zbl 1269.03061） 全文： 内政部
雅普·范·奥斯汀 函数的部分组合代数。 （英语） Zbl 1248.03026号 圣母院J.形式逻辑 52，第4期，431-448（2011）.MSC公司：03B40型 03G30型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.van Oosten}，圣母院J.形式逻辑52，第4期，431--448（2011；Zbl 1248.03026） 全文： 内政部 arXiv公司
雅普·范·奥斯汀 可实现性。介绍其明确的一面。 （英语） Zbl 1225.03002号 逻辑与数学基础研究152.阿姆斯特丹：爱思唯尔（ISBN 978-0-444-51584-1/hbk）。十六、310页。（2008年）。 审核人：科林·麦克拉蒂（MR2479466） MSC公司：03-02 03D20日 03楼55 03层60 第03页 03G30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{J.van Oosten}，可实现性。介绍其明确的一面。阿姆斯特丹：爱思唯尔（2008；Zbl 1225.03002）
雅普·范·奥斯汀 相对递归的一般形式。 （英语） 兹伯利1113.03014 圣母院J.形式逻辑 47，第3期，311-318（2006）.MSC公司：03B40型 03G30型 18对25 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.van Oosten}，圣母院J.形式逻辑47，No.3，311--318（2006；Zbl 1113.03014） 全文： 内政部 arXiv公司
M.霍夫曼。;van Oosten，J。;斯特里彻，T。 实现性良好。 （英语） Zbl 1112.03058号 拱门。数学。逻辑 45，第7期，795-805（2006）. 审核人：彼得·约翰斯通（剑桥） MSC公司：03G30型 03楼55 18对25 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}等人，Arch。数学。逻辑45，No.7，795--805（2006；Zbl 1112.03058） 全文： 内政部 链接
托马斯·斯特里彻 地形中的宇宙。 （英语） 兹比尔1092.03038 Crosilla，Laura（编辑）等人，从集合和类型到拓扑和分析。构建数学的实用基础。基于研讨会，意大利威尼斯，2003年5月12日至16日。牛津：牛津大学出版社（ISBN 0-19-856651-4/hbk）。《牛津逻辑指南》48，78-90（2005）。MSC公司：03G30型 03楼55 35楼03号 18对25 PDF格式BibTeX公司 XML格式引用 \textit{T.Streicher}，牛津。逻辑指南48，78--90（2005；Zbl 1092.03038）
拉尔斯·比克达尔;雅普·范·奥斯汀 相对和修改后的相对可实现性。 （英语） Zbl 1012.03066号 Ann.纯粹应用。逻辑 118，编号1-2，115-132（2002）. 审核人：彼得·约翰斯通（剑桥） MSC公司：03G30型 18对25 03B40型 03D75号 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}和\textit{J.van Oosten}，Ann.Pure Appl。逻辑118，编号1--2，115-132（2002；Zbl 1012.03066） 全文： 内政部
拉尔斯·比克达尔 可实现性的一般概念。 （英语） Zbl 1031.03080号 牛市。符号。日志。 8，第2期，266-282（2002）.MSC公司：03G30型 03C90号 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}，公牛。符号。日志。8，第2号，266--282（2002；Zbl 1031.03080） 全文： 内政部 链接
彼得·利兹;托马斯·斯特里彻 忠诚意味着非类型化。 （英语） Zbl 1001.03013号 数学。结构。计算。科学。 第335-347号第12页（2002年）.MSC公司：03B40型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Lietz}和\textit{T.Streicher}，数学。结构。计算。科学。12，第3号，335--347（2002；Zbl 1001.03013） 全文： 内政部
史蒂文·阿沃迪;拉尔斯·比克达尔;Dana S.斯科特。 局部可实现拓扑和用于可计算性的模态逻辑。 （英语） Zbl 1007.03057号 数学。结构。计算。科学。 12，第3期，319-334（2002）. 审核人：彼得·约翰斯通（剑桥） MSC公司：03G30型 18对25 03B45号 03D75号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey}等人，《数学》。结构。计算。科学。12，第3号，319--334（2002；Zbl 1007.03057） 全文： 内政部
马蒂亚斯·梅尼 更精确的完成是拓扑。 （英语） Zbl 0994.18002号 Ann.纯粹应用。逻辑 116，编号1-3，187-203（2002）. 审核人：Peter T.Johnstone（剑桥） MSC公司：18对25 1999年3月 18A35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Menni}，Ann.纯粹应用。逻辑116，No.1--3，187--203（2002；Zbl 0994.18002） 全文： 内政部
科林·麦克拉蒂 一阶和高阶可实现性的语义。 （英语） Zbl 1031.03082号 Anderson，C.Anthony（编辑）等人，《逻辑、意义和计算》。纪念阿隆佐教堂的文章。多德雷赫特：Kluwer学术出版社。合成。天秤座。305, 353-363 (2001).MSC公司：03G30型 03B15号机组 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{C.McLarty}，Synth。天秤座。305、353--363（2001年；Zbl 1031.03082）
雅普·范·奥斯汀 修改后的可实现性拓扑。 （英语） Zbl 0882.03059号 J.纯应用。代数 116，编号1-3，273-289（1997）. 审核人：A.Kock（奥胡斯） MSC公司：03楼55 03G30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit｛J.van Oosten｝，J.纯应用。代数116，No.1--3，273--289（1997；Zbl 0882.03059） 全文： 内政部
雅普·范·奥斯汀 关于Lifschitz可实现拓扑的两个备注。 （英语） Zbl 0854.03059号 J.塞姆。日志。 61，第1期，70-79（1996）. 审核人：P.班克斯顿 MSC公司：03G30型 18对25 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Oosten}，J.Symb。日志。61，第1号，70--79（1996；Zbl 0854.03059） 全文： 内政部
雅普·范·奥斯汀 公理化高阶Kleene可实现性。 （英语） Zbl 0810.03047号 Ann.纯粹应用。逻辑 70，第1期，第87-111页（1994年）. 审核人：J.van Oosten（J.van奥斯汀） MSC公司：35楼03号 03G30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{J.van Oosten}，Ann.《纯粹的应用》。逻辑70，No.1，87--111（1994；Zbl 0810.03047） 全文： 内政部
卫斯理·菲亚 从术语模型到领域。 （英语） Zbl 0796.03018号 Inf.计算。 109，编号1-2，211-255（1994）.MSC公司：03B40型 03G30型 18对25 18A40型 PDF格式BibTeX公司 XML格式引用 \textit{W.Phoa}，信息计算。109，编号1--2，211-255（1994；Zbl 0796.03018） 全文： 内政部
海兰德，J.M.E。;Ong，C.-H.L.公司。 改进的可实现拓扑和强规范化证明。 （英语） Zbl 0793.03079号 Bezem，Marc（编辑）等人，《类型化Lambda结石及其应用》。国际会议，1993年3月16日至18日，荷兰乌得勒支。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。664, 179-194 (1993). 审核人：P.T.Johnstone（剑桥） MSC公司：03G30型 03B40型 18对25 65年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.M.E.Hyland}和\textit{C.H.L.Ong}，Lect。注释计算。科学。664179--194（1993；Zbl 0793.03079）
卫斯理·菲亚 从图模型构建域。 （英语） Zbl 0792.03008号 数学。结构。计算。科学。 2，第3期，277-299（1992）.MSC公司：03B40型 03G30型 18对25 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{W.Phoa}，数学。结构。计算。科学。2，第3号，277--299（1992；Zbl 0792.03008） 全文： 内政部
卫斯理·菲亚 使用fibrations了解子类型。 （英语） Zbl 0792.03009号 Fourman，M.P.（编辑）等人，《类别在计算机科学中的应用》。1991年7月20日至30日在英国达勒姆大学举行的LMS研讨会论文集。剑桥：剑桥大学出版社。伦敦。数学。Soc.勒克特。注释序列号。177, 239-257 (1992).MSC公司：03B40型 03G30型 18对25 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{W.Phoa}，伦敦。数学。Soc.Lect（社会学）。注释序列号。177239-257（1992年；兹bl 0792.03009）
雅普·范·奥斯汀 将Lifschitz的可实现性推广到高阶算法，以及F.Richman问题的解决方案。 （英语） Zbl 0743.03036号 J.塞姆。日志。 56，第3期，964-973（1991）.MSC公司：35楼03号 03楼50 03G30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{J.van Oosten}，J.Symb。日志。56，第3号，964--973（1991；Zbl 0743.03036） 全文： 内政部
安德烈·斯克洛夫 多态类型指南。 （英语） Zbl 0706.03015号 逻辑与计算机科学，Lect。第一阶段。CIME，Montecatini Terme/意大利，1988年，Lect。数学笔记。1429, 111-150 (1990). 审核人：T.希基塔 MSC公司：03B40型 60年第68季度 PDF格式BibTeX公司 XML格式
约翰斯通，P.T。;罗宾逊，E.P。 关于可实现拓扑的不等价性的注记。 （英语） Zbl 0673.18002号 数学。程序。外倾角。菲洛斯。Soc公司。 105，第1期，第1-3期（1989年）. 审核人：P.班克斯顿 MSC公司：18对25 03G30型 PDF格式BibTeX公司 XML格式引用 \textit｛P.T.Johnstone｝和\textit｛E.P.Robinson｝，数学。程序。外倾角。菲洛斯。Soc.105，No.1，1--3（1989；Zbl 0673.18002） 全文： 内政部
奥雷里奥·卡博尼;彼得·弗雷德。;安德烈·斯克洛夫 实现性和多态类型的分类方法。 （英语） Zbl 0651.18004号 程序设计语言语义的数学基础。研讨会，新奥尔良/路易斯安那州，1987年。注释计算。科学。298, 23-42 (1988). 审核人：M.Eytan先生 MSC公司：18B10型 03G30型 60年第68季度 18对25 PDF格式BibTeX公司 XML格式
安德烈·什切德洛夫 构造分析和递归可实现拓扑中的微分方程。 （英语） Zbl 0539.03041号 J.纯应用。代数 33, 69-80 (1984).MSC公司：03层60 65楼03号 03G30型 03楼50 18对25 PDF格式BibTeX公司 XML格式引用 \textit｛A.Ščedrov｝，J.纯应用。代数33，69-80（1984；Zbl 0539.03041） 全文： 内政部
海兰德，J.M.E。 有效地形。 （英语） Zbl 0522.03055号 L.E.J.Brouwer Centen出版社。交响乐团。，程序。会议，Noordwijkerhout/Holl。1981年，《逻辑发现》。数学。110, 165-216 (1982).MSC公司：03G30型 03楼50 PDF格式BibTeX公司 XML格式
海兰德，J.M.E。;约翰斯通，P.T。;A.M.皮特斯。 Tripos理论。 （英语） Zbl 0451.03027号 数学。程序。外倾角。菲洛斯。Soc公司。 88, 205-232 (1980).MSC公司：03G30型 03G25号 03D99号 18天30分 18B35型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{J.M.E.Hyland}等人，《数学》。程序。外倾角。菲洛斯。Soc.88，205--232（1980；Zbl 0451.03027） 全文： 内政部