阿贝拉

此软件的关键字
zbMATH中的参考文献(参考文献 52条 , 2标准条款 )
Libal,托默; 米勒,戴尔:作为构造函数的函数高阶统一:扩展模式统一(2022) 米勒,戴尔; 维尔,亚历山德拉:当等式是逻辑连接词时证明搜索的不可判定性(2022) 安巴尔,纪尧姆; 伦格莱特,塞尔盖伊; 施密特,艾伦:(\mathrmo\pi)在《考克》(2021年) 盖里,洛伦佐; Popescu,Andrei:带绑定的语法的形式化一般理论:扩展版(2020) 乔杜里、考斯图夫; 利马,莱昂纳多; Reis,Giselle:线性逻辑连续计算的形式化元理论(2019) Goubault Larrecq,Jean:纳布拉语义学(2019) 吉迪,费鲁乔; 萨尔多蒂·科恩,克劳迪奥; Tassi,Enrico:在高阶约束逻辑编程中实现类型理论(2019) 马哈茂德,穆罕默德·尤斯里; Felty,Amy P.:线性逻辑中Quiper量子编程语言的元理论形式化(2019) 米勒,戴尔:重温机械化元理论(2019) 阿尔伯托莫米格里亚诺; 皮恩卡,布里吉特; 大卫·蒂博多:程序设计中的一个案例研究:豪方法(2019) Straßburger,Lutz:证明身份的问题,以及为什么计算机科学家应该关心Hilbert的第24个问题(2019) 佩雷拉,罗莉; 切尼,詹姆斯:证明相关(\pi)-微积分:并发性和因果关系的建设性解释(2018) 拉贝,弗洛里安:模块化类型重建算法(2018) 赵金旭; 奥利维拉,布鲁诺哥伦比亚特区。; Schrijvers,Tom:多态子类型算法的形式化(2018) 安志勇; 霍恩,罗斯; Tiu,Alwen:使用直觉模态逻辑对开放双相似性的表征(2017) 乔杜里、考斯图夫; 利马,莱昂纳多; Reis,Giselle:子结构逻辑连续计算的形式化元理论(2017) 基米尼,马特奥; Siek,Jeremy G.:自动生成渐变类型语言的动态语义(2017) 凯撒,乔纳斯; 皮恩卡,布里吉特; Smolka,Gert:关联系统F和(\lambda2):Coq、Abella和Beluga的案例研究(2017) 米勒,戴尔:验证检查和逻辑编程(2017) 塞拉诺,亚历杭德罗; Hage,Jurriaan:约束处理规则与绑定、模式和通用量化(2017)