蒂姆·莱顿 基于模式匹配的(面向机器的)逻辑。 (英语) Zbl 07813362号 数学。结构。计算。科学。 33,第7号,647-659(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Lethen},数学。结构。计算。科学。33,编号7,647--659(2023;Zbl 07813362) 全文: 内政部
萨缪尔·吉拉乌多 组合符(mathbf{M})和Mockingbird格。 (英语) Zbl 07636993号 数学。结构。计算。科学。 32,编号3,271-299(2022).MSC公司:03B40型 06A07年 PDF格式BibTeX公司 XML格式引用 \textit{S.Giraudo},数学。结构。计算。科学。32,编号3,271-299(2022;兹bl 07636993) 全文: 内政部 arXiv公司
汤姆·德容 单价类型理论中PCF的Scott模型。 (英语) Zbl 1517.68069号 数学。结构。计算。科学。 31,第10号,1270-1300(2021).MSC公司:第68页第18页 03B38型 06B35号 18对25 18 C50 18号45 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.de Jong},数学。结构。计算。科学。31,第10号,1270--1300(2021;Zbl 1517.68069) 全文: 内政部 arXiv公司
Anna Chiara Lai;马可·佩奇尼;马里奥广场 抽象机器、最优约简和流。 (英语) Zbl 1434.68089号 数学。结构。计算。科学。 29,第9期,1379-1410(2019).MSC公司:68甲18 03楼52 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Lai}等人,数学。结构。计算。科学。29,第9号,1379--1410(2019;Zbl 1434.68089) 全文: 内政部
何塞·埃斯皮里托·桑托;拉尔夫·马提斯;路易斯·平托 在简单类型的lambda演算中通过lambda演算进行证明搜索。 (英语) Zbl 1456.03024号 数学。结构。计算。科学。 29,第8期,1092-1124(2019).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Espírito Santo}等人,《数学》。结构。计算。科学。29,编号8,1092-1124(2019;兹bl 1456.03024) 全文: 内政部 arXiv公司
迪莉娅·凯斯纳;丹尼尔·文图拉 用于集中直觉演算的资源感知语义。 (英语) Zbl 1407.68273号 数学。结构。计算。科学。 29,第1期,93-126(2019).MSC公司:68问题55 03B20型 03B40型 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}和\textit{D.Ventura},数学。结构。计算。科学。29,第1号,93-126(2019;Zbl 1407.68273) 全文: 内政部
海兰德,J.M.E。 现代服装中的经典lambda演算。 (英语) Zbl 1423.03054号 数学。结构。计算。科学。 27,第5期,762-781(2017).MSC公司:03B40型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.E.Hyland},数学。结构。计算。科学。27,第5号,762--781(2017;Zbl 1423.03054) 全文: 内政部 arXiv公司
珍妮·雅克·莱维 在\(\lambda \)-演算中,赎回是稳定的。 (英语) 兹比尔1364.68139 数学。结构。计算。科学。 27,编号5738-750(2017).MSC公司:68号30 03B40型 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.-J.Lévy},数学。结构。计算。科学。27,编号5738-750(2017;兹bl 1364.68139) 全文: 内政部
马可·加博阿迪;卢卡·保里尼;毛罗·皮科洛 关于语义线性的具体化。 (英语) Zbl 1361.68064号 数学。结构。计算。科学。 26,第5期,829-867(2016).MSC公司:68号30 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Gaboardi}等人,数学。结构。计算。科学。26,第5号,829--867(2016;Zbl 1361.68064) 全文: 内政部
默多克·J·加贝。;彼得·霍普勒。 虚群:惰性幺半群和可逆计算。 (英语) Zbl 1286.68132号 数学。结构。计算。科学。 23,第5期,1002-1031(2013).MSC公司:2005年第68季度 05年6月 2015年1月6日 18A40型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{P.H.Kropholler},数学。结构。计算。科学。23,第5号,1002--1031(2013;Zbl 1286.68132) 全文: 内政部
文森特·帕多瓦尼 门票价格是可以决定的。 (英语) 2014年3月1280日 数学。结构。计算。科学。 第3期,第23期,第568-607页(2013年). 审核人:马丁·邦德(伍伦贡) MSC公司:03B25号 03B40型 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{V.Padovani},数学。结构。计算。科学。23,第3号,568--607(2013;Zbl 1280.03014) 全文: 内政部
默多克·J·加贝。 两级名词集和语义名词术语:处理元变量的名词集理论的扩展。 (英语) Zbl 1228.68022号 数学。结构。计算。科学。 21,第5期,997-1033(2011).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},数学。结构。计算。科学。21,第5号,997--1033(2011;Zbl 1228.68022) 全文: 内政部
克罗尔,R.L。 混合动力的代表性充分性。 (英语) Zbl 1248.68448号 数学。结构。计算。科学。 21,第3期,585-646(2011).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Crole},数学。结构。计算。科学。21,第3号,585--646(2011;Zbl 1248.68448) 全文: 内政部
亚当·奥布图 结构代数。二: Martin-Löf型理论和构造演算的代数方法。 (英语) Zbl 0803.03045号 数学。结构。计算。科学。 3,第1号,63-92(1993).MSC公司:03G25 35楼03号 08A55年 68问题55 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Obtułowicz},数学。结构。计算。科学。3,编号1,63-92(1993;Zbl 0803.03045) 全文: 内政部
西蒙·马提尼 非张力计算和组合逻辑的分类模型。 (英语) Zbl 0795.03099号 数学。结构。计算。科学。 2,第3期,327-357(1992).MSC公司:03G30型 03B40型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{S.Martini},数学。结构。计算。科学。2,第3号,327--357(1992;Zbl 0795.03099) 全文: 内政部
约翰·汉南;戴尔·米勒 从操作语义到抽象机器。 (英语) Zbl 0798.68099号 数学。结构。计算。科学。 2,第4期,415-459(1992).MSC公司:68问题55 2005年第68季度 60年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hannan}和\textit{D.Miller},数学。结构。计算。科学。2,第4号,415--459(1992;Zbl 0798.68099) 全文: 内政部
朱塞佩·隆戈;尤金尼奥·莫吉 构造性自然演绎及其“(\omega\)-集”解释。 (英语) Zbl 0756.03028号 数学。结构。计算。科学。 1,第2期,215-254(1991). 审核人:宋方敏(南京) MSC公司:35楼03号 03B40型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Longo}和\textit{E.Moggi},数学。结构。计算。科学。1,第2号,215--254(1991;Zbl 0756.03028) 全文: 内政部