白鲸

此软件的关键字
zbMATH中的参考文献(参考文献 26条 , 1标准件 )
安巴尔,纪尧姆; 伦格莱特,塞尔盖伊; 施密特,艾伦:(\mathrmo\pi)在《考克》(2021年) 亚伯,安德烈亚斯; 阿拉斯,纪尧姆; 哈米尔,阿利娅; 皮恩卡,布里吉特; 阿尔伯托莫米格里亚诺; 施费尔,史蒂文; 斯塔克,凯瑟琳:波普马克重新加载:逻辑关系的机械化证明(2019) 马哈茂德,穆罕默德·尤斯里; Felty,Amy P.:线性逻辑中Quiper量子编程语言的元理论形式化(2019) 米勒,戴尔:重温机械化元理论(2019) 阿尔伯托莫米格里亚诺; 皮恩卡,布里吉特; 大卫·蒂博多:程序设计中的一个案例研究:豪方法(2019) 法尔卡,弗兰蒂舍克; 科门丹茨基,叶卡捷琳娜; Hammond,Kevin:依赖型推理和术语综合的相关Horn子句证明(2018) 拉贝,弗洛里安:模块化类型重建算法(2018) Dunfield,Joshua:可扩展数据集优化(2017) 乔治,艾娜·林恩; 阿加塔,穆鲁斯卡; 奥蒂斯,肖恩; Pientka,Brigitte:\ textscLincx:具有一流上下文的线性逻辑框架(2017) 弘塞尔,福里奥; 利库里,路易吉; 马克西莫维奇,佩塔; 斯加内托,伊万:(\mathsfLLF\mathcalP):使用单子对外部证据、附带条件和证明无关性进行建模的逻辑框架(2017) 凯撒,乔纳斯; 皮恩卡,布里吉特; Smolka,Gert:关联系统F和(\lambda2):Coq、Abella和Beluga的案例研究(2017) Libal,托默; 米勒,戴尔:功能作为建造者高阶统一(2016) 王玉婷; Nadathur,Gopalan:验证函数程序转换的高阶抽象语法方法(2016) 阿尔伯托,齐亚法格利恩; 斯加内特,伊万:《弱HOA中的机械化环境》(2015) 费尔蒂,艾米P。; 阿尔伯托莫米格里亚诺; Pientka,Brigitte:下一个700个挑战性问题,用于使用高阶抽象语法表示进行推理。 二: 调查(2015) 皮恩卡,布里吉特; Cave,Andrew:感应白鲸:编程证明(2015) Ronan Saillard:lambda-Pi微积分模的排版:理论与实践(2015) 不是zbMATH 斯蒂芬,亚历山大; Benzmüller,Christoph:高阶推理机没有最佳(\beta)-标准化策略(2015) 萨瓦里·贝朗格,奥利维尔; 蒙尼尔,斯特凡; Pientka,Brigitte:使用高阶抽象语法编程类型安全转换(2013) Accattoli,Beniamino:证明珍珠:Abella形式化(\lambda)-微积分立方属性(2012)