杰伊,巴里 高阶函数的密集计算。 (英语) Zbl 1417.68041号 西奥。计算。科学。 768, 76-90 (2019).MSC公司:第68季度01 03B40型 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \文本{B.Jay},Theor。计算。科学。768,76-90(2019年;兹bl 1417.68041) 全文: DOI程序
Farmer,William M。 将引用和评价纳入教会的类型理论。 (英语) Zbl 1390.68168号 Inf.计算。 260, 9-50 (2018).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},信息计算。260,9-50(2018;Zbl 1390.68168) 全文: DOI程序 arXiv公司
爱德华多·博内利;费德里科·费勒 证明逻辑是验证移动计算的基础。 (英语) 兹比尔1271.03046 Ann.纯粹应用。逻辑 163,第7期,935-950(2012).MSC公司:03B70号 03B40型 03B42号 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{E.Bonelli}和\textit{F.Feller},Ann.Pure Appl。逻辑163,No.7,935--950(2012;Zbl 1271.03046) 全文: DOI程序
大辅木村;川谷义彦 S4模态逻辑的经典自然演绎。 (英语) Zbl 1251.68071号 新一代计算。 29,第1期,61-86(2011).MSC公司:68甲18 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Kimura}和\textit{Y.Kakutani},新一代计算机。29,第1号,61--86(2011;Zbl 1251.68071) 全文: DOI程序
阿图尔·达维拉·加塞斯。;路易斯·兰姆。;Dov M.加巴伊。 直觉推理的连接计算。 (英语) Zbl 1097.68119号 西奥。计算。科学。 358,第1期,34-55(2006).MSC公司:68T05型 2005年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.S.d‘Avila Garcez}等人,Theor。计算。科学。358,编号1,34-55(2006;Zbl 1097.68119) 全文: DOI程序
罗文·戴维斯;弗兰克·芬宁 分阶段计算的模态分析。 (英语) Zbl 1323.68107号 J.ACM公司 48,第3期,555-604(2001).MSC公司:68甲18 03B40型 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Davies}和\textit{F.Pfenning},J.ACM 48,第3期,555--604(2001;Zbl 1323.68107) 全文: DOI程序
藤田,Ken-Etsu 无域\(\lambda\mu\)-演算。 (英语) Zbl 0974.68032号 西奥。通知。申请。 34,第6期,433-466(2000).MSC公司:68甲18 2005年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \文本{K.-E.Fujita},Theor。通知。申请。34,第6号,433--466(2000;Zbl 0974.68032) 全文: DOI程序 欧洲DML