西蒙·多尔蒂;大卫·皮姆 分离逻辑的石头型对偶。 (英语) Zbl 1432.03046号 日志。方法计算。科学。 15,第1号,第27号论文,51页(2019年)。MSC公司:03B70号 03B20型 03G25号 06年50月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym},日志。方法计算。科学。15,第1号,第27号论文,51页(2019年;Zbl 1432.03046) 全文: arXiv公司
西蒙·多尔蒂;大卫·皮姆 直觉分层图逻辑:语义和证明理论。 (英语) 兹比尔1454.03030 日志。方法计算。科学。 14,第4号,第11号论文,36页(2018年)。MSC公司:03B47型 03B20型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym},日志。方法计算。科学。14,第4号,第11号论文,36页(2018;Zbl 1454.03030) 全文: 内政部 arXiv公司
史蒂夫·阿沃迪;弗洛里安·拉贝 Martin-Löf的扩展类型理论的Kripke语义。 (英语) Zbl 1237.03007号 日志。方法计算。科学。 7,第3号,第18号论文,25页(2011年)。MSC公司:03B15号机组 03G30型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{S.Awodey}和\textit{F.Rabe},日志。方法计算。科学。7,第3号,第18号论文,25页(2011年;Zbl 1237.03007) 全文: 内政部 arXiv公司
阿诺·阿夫隆;奥里·拉哈夫 关于结构连接词和系统。 (英语) Zbl 1213.03069号 日志。方法计算。科学。 6,第4号,第12号论文,20页(2010年)。MSC公司:05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron}和\textit{O.Lahav},日志。方法计算。科学。6,第4号,第12号论文,20页(2010年;Zbl 1213.03069) 全文: 内政部 arXiv公司