罗伯特·福伯;拉杜·马达尔;米奥，马特奥 基于Riesz空间的概率逻辑。 （英语） Zbl 1442.03010号 日志。方法计算。科学。 16，第1号，第6号论文，45页（2020年）.MSC公司：03B45号 03B48号 03B70号 20层06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Furber}等人，日志。方法计算。科学。16，第1号，第6号论文，45页（2020；Zbl 1442.03010） 全文： arXiv公司
弗拉基米尔·萨佐诺夫 在自然连续的非dcpo域上。 （英语） Zbl 1429.06006号 数学。结构。计算。科学。 27，第8期，1521-1552（2017）.MSC公司：06B35号 18B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.Sazonov}，数学。结构。计算。科学。27，编号8，1521--1552（2017年；Zbl 1429.06006） 全文： DOI程序
托马斯·安伯雷 实数计算领域模型的非连续性。 （英语） Zbl 1316.68039号 Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173，41-46（2007）。MSC公司：68号30 06B35号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Anberrée}，电子。理论注释。计算。科学。173、41-46（2007年；Zbl 1316.68039） 全文： DOI程序
可口、蒂埃里;乔瓦尼·桑宾;简·史密斯;西尔维奥·瓦伦蒂尼 感应生成的正式拓扑。 （英语） Zbl 1070.03041号 Ann.纯应用。逻辑 124，编号1-3，71-106（2003）. 审核人：玛丽亚·艾米莉亚·迈埃蒂（帕多瓦） MSC公司：65楼03号 2012年2月6日 54A05型 第03页第55页 30楼06号 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人，《纯粹应用》。逻辑124，编号1--3，71-106（2003；Zbl 1070.03041） 全文： DOI程序
马丁·霍夫曼 具有更高类型和BCK-代数的安全递归。 （英语） Zbl 0959.68075号 Ann.纯粹应用。逻辑 104，编号1-3，113-166（2000）.MSC公司：68问题55 2015年3月1日 03D65年 68甲18 06英尺35英寸 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}，安。纯应用。逻辑104，No.1--3113--166（2000；Zbl 0959.68075） 全文： DOI程序