布鲁内尔,阿洛伊斯;马尔科·加博阿迪 线性相关PCF的可实现性模型。 (英语) Zbl 1327.68109号 西奥。计算。科学。 585, 55-70 (2015).MSC公司:2015年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Brunel}和\textit{M.Gaboardi},Theor。计算。科学。585、55-70(2015年;Zbl 1327.68109) 全文: 内政部
布鲁内尔,阿洛伊斯 量化经典可实现性。 (英语) Zbl 1323.03092号 Inf.计算。 241, 62-95 (2015).MSC公司:03楼52 68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Brunel},Inf.计算。241、62-95(2015年;Zbl 1323.03092) 全文: 内政部 arXiv公司