西尔维亚·克拉法;迪·皮罗(Di Pirro,Matteo);埃琳娜·祖卡 Solidity足够坚固吗? (英语) Zbl 1520.91442号 Braccali,Andrea(编辑)等人,《金融加密和数据安全》。2019年2月18日至22日在圣基茨和尼维斯举行的2019年FC国际研讨会、投票和WTSC,修订了部分论文。查姆:斯普林格。莱克特。票据计算。科学。11599, 138-153 (2020).MSC公司:91G99型 94A60型 91-04 PDF格式BibTeX公司 XML格式引用 \textit{S.Crafa}等人,Lect。票据计算。科学。11599,138--153(2020;Zbl 1520.91442) 全文: DOI程序
保罗·唐恩;泽纳·M·阿里奥拉。;西尔维娅·吉勒赞 经典交并类型的二重性。 (英语) Zbl 1446.03034号 芬丹。通知。 170,编号1-3,39-92(2019).MSC公司:03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Downen}等人,Fundam。通知。170,编号1--3,39-92(2019;Zbl 1446.03034) 全文: DOI程序
乔治·奥德里托;米尔科·维罗利;费卢西奥·达米亚尼;丹尼尔·皮亚尼尼;雅各布·比尔 计算场的高阶微积分。 (英语) Zbl 1407.68326号 ACM事务处理。计算。日志。 20,第1号,第5条,55页(2019年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Audrito}等人,《美国医学杂志》。计算。日志。20,第1号,第5条,55页(2019年;Zbl 1407.68326) 全文: DOI程序 arXiv公司
西蒙·多尔蒂;大卫·皮姆 直觉分层图逻辑:语义和证明理论。 (英语) Zbl 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) 全文: DOI程序 arXiv公司
Jean-Pierre Jouannaud;Pierre-Yves支柱 没有类型转换的Coq:Coq模理论的完整证明。 (英语) Zbl 1403.68227号 Eiter,Thomas(编辑)等人,LPAR-21。第21届编程逻辑、人工智能和推理国际会议,2017年5月8日至12日,博茨瓦纳莫恩。精选论文。曼彻斯特:EasyChair。EPiC计算系列46,474-489(2017)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{P.-Y.Strub},EPiC Ser。计算。46、474--489(2017;Zbl 1403.68227) 全文: DOI程序
纳达·阿明;蒂亚克·隆普夫 用定义口译员输入正确性证明。 (英语) Zbl 1380.68111号 Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。666-679 (2017).MSC公司:68号30 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Amin}和\textit{T.Rompf},in:第44届ACM SIGPLAN编程语言原理年度研讨会论文集,POPL’17,法国巴黎,2017年1月15-21日。纽约州纽约市:计算机协会(ACM)。666--679(2017年;Zbl 1380.68111) 全文: DOI程序
陈子春;Dezani Ciancaglini,马里亚焦拉;阿尔切斯特·斯卡拉斯;吉田、Nobuko 会话类型中子类型的精确性。 (英语) Zbl 1398.68360号 日志。方法计算。科学。 13,第2号,第12号论文,61页(2017年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.-C.Chen}等人,Log。方法计算。科学。13,第2号,第12号论文,61页(2017;Zbl 1398.68360) 全文: DOI程序 arXiv公司
弗洛里安·洛伦岑;塞巴斯蒂安·埃尔德维格 依赖于声音类型的句法语言扩展。 (英语) Zbl 1347.68088号 Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。204-216 (2016).MSC公司:68号30 68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Lorenzen}和\textit{S.Erdweg},摘自:第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)。204-216(2016;Zbl 1347.68088) 全文: DOI程序 链接
费卢西奥·达米亚尼;米尔科·维罗利 计算字段的基于类型的自稳定。 (英语) Zbl 1448.68336号 日志。方法计算。科学。 11,第4号,第21号论文,53页(2015).MSC公司:68问题85 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Damiani}和\textit{M.Viroli},日志。方法计算。科学。11,第4号,第21号论文,53页(2015;Zbl 1448.68336) 全文: DOI程序 arXiv公司
弗洛里安·洛伦岑;塞巴斯蒂安·埃尔德维格 语言扩展的模块化和自动化类型健全性验证。 (英语) Zbl 1323.68218号 2013年9月25日至27日在美国马萨诸塞州波士顿举行的第18届ACM SIGPLAN功能编程国际会议记录,ICFP’13。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2326-0)。ACM SIGPLAN通知48,第9号,331-342(2013)。MSC公司:68号30 68甲15 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Lorenzen}和\textit{S.Erdweg},in:第18届ACM SIGPLAN函数编程国际会议论文集,ICFP'13,美国马萨诸塞州波士顿,2013年9月25-27日。纽约州纽约市:计算机协会(ACM)。331-342(2013;Zbl 1323.68218) 全文: DOI程序 链接
萨伊德·阿贝德;奥特曼·艾特·穆罕默德;盖亚斯·萨马内 高阶逻辑中约简技术的自动验证。 (英语) 兹比尔1298.68162 正式Asp。计算。 25,第6号,971-991(2013).MSC公司:60年第68季度 68吨15 68T27型 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Abed}等人,《正式Asp》。计算。25,第6号,971--991(2013;Zbl 1298.68162) 全文: DOI程序
沃特·斯威斯特拉;托马斯·范诺特 多态动态类型库。 (英语) Zbl 1286.68036号 J.功能。程序。 23,第3期,229-248(2013).MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{W.Swierstra}和\textit{T.Van Noort},J.Funct。程序。23,第3号,229--248(2013;Zbl 1286.68036) 全文: DOI程序
斯瓦米,尼基尔;陈,胡安;塞德里克·Fornet;Pierre-Yves支柱;卡尔蒂基扬·巴尔干;杨吉恩 使用值相关类型保护分布式编程。 (英语) Zbl 1290.68033号 J.功能。程序。 23,第4期,402-451(2013).MSC公司:68甲19 68甲18 68号30 68甲15 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{N.Swamy}等人,J.Funct。程序。23,第4号,402--451(2013;Zbl 1290.68033) 全文: DOI程序
弗朗索瓦·波蒂埃 具有隐藏状态的类型和功能系统的语法正确性证明。 (英语) Zbl 1262.68031号 J.功能。程序。 23,第1期,38-144(2013).MSC公司:68甲18 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Pottier},J.功能。程序。23、第1号、第38--144号(2013;Zbl 1262.68031) 全文: DOI程序
马丁·迈尔 类型空间的无限概率逻辑。 (英语) Zbl 1276.91039号 以色列。数学杂志。 192,A部分,1-58(2012). 审核人:费尔南多·托姆(巴伊亚·布兰卡) MSC公司:91A44型 91A10号 62C10个 03B42号 03B48号 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{M.Meier},以色列。数学杂志。192,A部分,1-58(2012;Zbl 1276.91039) 全文: DOI程序
雷米,迪迪埃;鲍里斯·亚科博夫斯基 ML(^{text F})的一种教堂式中间语言。 (英语) Zbl 1252.03080号 西奥。计算。科学。 435, 77-105 (2012).MSC公司:03B70号 第03页 68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Rémy}和\textit{B.Yakobowski},Theor。计算。科学。435,77--105(2012;Zbl 1252.03080) 全文: DOI程序
安托尼奥·拉瓦拉;佩德罗·雷森德;Vasco T.瓦康塞洛斯。 行为类型代数。 (英语) Zbl 1260.68277号 Inf.计算。 212, 64-91 (2012). 审核人:Maciej Koutny(泰恩河畔纽卡斯尔) MSC公司:68问题85 60年第68季度 68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Ravara}等人,《信息计算》。212、64-91(2012年;Zbl 1260.68277) 全文: DOI程序
安藤萨巴斯;塔尔莫乌斯塔卢 部分冗余消除的证明优化。 (英语) Zbl 1187.68167号 J.日志。阿尔盖布。程序。 78,第7号,619-642(2009).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Saabas}和\textit{T.Uustalu},J.Log。阿尔盖布。程序。78,第7号,619--642(2009;Zbl 1187.68167) 全文: DOI程序
泽维尔·勒罗伊;埃尔维·格雷尔 共同的大步骤操作语义。 (英语) Zbl 1165.68044号 Inf.计算。 207,第2期,284-304(2009).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{X.Leroy}和\textit{H.Grall},信息计算。207,第2号,284--304(2009;Zbl 1165.68044) 全文: DOI程序 链接
费尔鲁兹Kamareddine;卡里姆·努尔 交叉类型系统可实现语义的完整性结果。 (英语) Zbl 1127.03011号 Ann.纯粹应用。逻辑 146,第2-3号,180-198(2007). 审核人:弗拉基米尔·科门丹斯基(索菲亚·安蒂波利斯) MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}和\textit{K.Nour},Ann.Pure Appl。逻辑146,No.2--3,180--198(2007;Zbl 1127.03011) 全文: DOI程序 arXiv公司 哈尔
埃纳尔·布罗赫·约翰森;Owe、Olaf;Yu,Ingrid Chieh女士 Creol:分布式并发系统的一种类型安全的面向对象模型。 (英语) Zbl 1118.68031号 西奥。计算。科学。 365,第1-2期,23-66(2006).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,Theor。计算。科学。365,编号1--2,23-66(2006;Zbl 1118.68031) 全文: DOI程序
维维亚娜·博诺;米歇尔·布格列西;Dezani Ciancaglini,马里亚焦拉;路易吉·利科里 可扩展、不完整对象的子类型。 (英语) Zbl 1040.03506号 芬丹。通知。 38,第4期,325-364(1999).MSC公司:03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{V.Bono}等人,Fundam。通知。38,第4号,325--364(1999;Zbl 1040.03506)
塞萨尔·穆尼奥斯 具有显式替换的从属类型:元理论的发展。 (英语) Zbl 0927.03032号 Giménez,Eduardo(编辑)等人,《证明和程序的类型》。1996年12月15日至19日,法国奥索瓦举行的“96型国际研讨会”。精选论文。柏林:斯普林格。莱克特。票据计算。科学。第1512294-316页(1998年)。MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{C.穆尼奥斯},莱克特。票据计算。科学。1512,294--316(1998;Zbl 0927.03032)
吉恩·盖利埃 克里普克模型和二阶(lambda)演算的(in)方程逻辑。 (英语) Zbl 0873.03017号 Ann.纯粹应用。逻辑 84,第3期,257-316(1997).MSC公司:03B40型 18日第15天 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gallier},Ann.纯粹应用。逻辑84,No.3,257--316(1997;Zbl 0873.03017) 全文: DOI程序
斯特凡诺娃,M。;Geuvers,H。 构造微积分的简单模型构造。 (英语) Zbl 1434.03046号 Berardi,Stefano(编辑)等人,《证明和程序的类型》。1995年6月5日至8日在意大利都灵举行的95型国际研讨会。精选论文。柏林:斯普林格。莱克特。票据计算。科学。1158, 249-264 (1996).MSC公司:03B38型 03B40型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Stefanova}和\textit{H.Geuvers},莱克特。票据计算。科学。1158、249--264(1996年;Zbl 1434.03046) 全文: DOI程序 链接
赫尔曼·格乌弗斯 构造演算强正规化的一个简短而灵活的证明。 (英语) Zbl 1530.03058号 Dybjer,Peter(编辑)等人,《证明和程序的类型》。1994年6月6日至10日,瑞典伯斯塔德,94型国际研讨会。精选论文。柏林:Springer-Verlag。莱克特。票据计算。科学。996, 14-38 (1995).MSC公司:03B40型 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{H.Geuvers},Lect。票据计算。科学。996、14-38(1995年;Zbl 1530.03058) 全文: DOI程序 链接
凯萨琳·费希尔;Furio Honsell;约翰·米切尔(John C.Mitchell)。 对象和方法专门化的lambda演算。 (英语) Zbl 0886.03010号 Nord.J.计算。 1,第1期,第3-37页(1994年).MSC公司:03B40型 68号01 68甲15 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{K.Fisher}等人,Nord.J.计算。1,第1号,第3--37号(1994;Zbl 0886.03010)
费尔南多·古兹曼 条件逻辑的Gentzen系统。 (英语) Zbl 0807.03011号 螺柱日志。 53,第243-257号(1994年). 审核人:T.Hosoi(野田佳彦/千叶) MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{F.Guzmán},Stud.Log。53,编号2243-257(1994年;兹bl 0807.03011) 全文: DOI程序
皮埃尔·卢伊斯·居里;乔治·盖利 (F_\leq\)中包含、最小类型和类型检查的一致性。 (英语) Zbl 0765.03008号 数学。结构。计算。科学。 2,第1期,55-91(1992). 审核人:A.佩特罗西(罗马) MSC公司:03B40型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.居里}和\textit{G.盖利},数学。结构。计算。科学。2,编号1,55--91(1992;Zbl 0765.03008) 全文: DOI程序
Reyes,Gonzalo E。 关于指称和情态的拓扑理论方法。 (英语) Zbl 0757.03013号 圣母院J.形式逻辑 32,第3期,359-391(1991). 审核人:V.谢赫特曼(莫斯科) MSC公司:03B65号 03G30型 03B45号 18对25 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Reyes},圣母院J.形式逻辑32,No.3,359--391(1991;Zbl 0757.03013) 全文: DOI程序
安德烈·兹布雷泽兹尼 某些三值命题逻辑的希尔伯特型公理化。 (英语) Zbl 0721.03010号 Z.数学。Logik Grundlagen数学。 36,第5期,415-421(1990). 审核人:A.中村(东-黑岛) MSC公司:03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Zbrzezny},Z.数学。Logik Grundlagen数学。36,第5号,415--421(1990;Zbl 0721.03010) 全文: DOI程序
托夫特,疯子 多态引用的类型推断。 (英语) Zbl 0705.68028号 Inf.计算。 89,第1期,1-34页(1990年).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Tofte},信息计算。89,编号1,1-34(1990;Zbl 0705.68028) 全文: DOI程序
Dezani Ciancaglini,马里亚焦拉;伊内斯·玛格丽亚 F完全类型赋值的特征。 (英语) Zbl 0619.03014号 西奥。计算。科学。 45, 121-157 (1986). 审核人:C.马萨拉吉 MSC公司:03B40型 03C65号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}和\textit{I.Margaria},Theor。计算。科学。45、121--157(1986年;Zbl 0619.03014) 全文: DOI程序
丹尼尔斯(Charles B.Daniels)。;詹姆斯·弗里曼(James B.Freeman)。 广义量化逻辑。 (英语) 兹比尔0446.03008 代表数学。逻辑 10, 9-42 (1978).MSC公司:03B15号机组 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Daniels}和\textit{J.B.Freeman},众议员数学。逻辑10,9--42(1978;Zbl 0446.03008)