特维尔

此软件的关键字
zbMATH中的参考文献(参考
169篇文章
参考, 2标准条款 )
Bry,francois:赞扬不精确性:对元编程形式化的贡献(2020) 盖里,洛伦佐;波佩斯库,安德烈:带绑定的语法形式化一般理论:扩展版(2020) Kaliszyk,Cezary;Pąk,Karol:Mizar作为Isabelle对象逻辑的语义(2019) Mahmoud,Mohamed Yousri;Felty,Amy P.:线性逻辑中Quiper量子编程语言的元理论形式化(2019) 米勒,戴尔:重温机械化元理论(2019) 阿尔伯托Momigliano;Pientka,Brigitte;Thibodeau,David:程序设计中的一个案例研究:Howe方法(2019) Cheney,James;Momigliano,Alberto:(\alpha\mathrmCheck):机械化元理论模型检查器(2017) Chihani,Zakaria;Miller,Dale;Renaud,Fabien:证据的语义框架(2017) Dunfield,Joshua:可扩展数据集优化(2017) Ferreira,Francisco;Pientka,Brigitte:使用一流绑定器的语法的程序(2017年) Georges,Aina Linn;Murawska,Agata;Otis,Shawn;Pientka,Brigitte:\ textscLincx:具有一流上下文的线性逻辑框架(2017) Honsell,Furio;Likori,Luigi;Maksimovic,Petar;Scagnetto,Ivan:(\mathsfLLF_u\mathcalP):使用单子建模外部证据、旁证和证明无关性的逻辑框架(2017) Kaiser,Jonas;Pientka,Brigitte;Smolka,Gert:关联系统F和(\lambda2):Coq、Abella和Beluga案例研究(2017) Kaliszyk,Cezary;Pąk,Karol:Isabelle对象逻辑中Mizar属性的表示和操作(2017) Kammar,Ohad;Pretnar,Matija:代数效果和处理程序不需要值限制(2017) 米勒,戴尔:验证检查和逻辑编程(2017) Stump,Aaron:从属lambda消去的演算(2017) Crole,Roy L.;Furniss,Amy:规范杂交:扩展依赖类型的杂交后代(2016) Eisenberg,Richard A.;Weirich,Stephanie;Ahmed,Hamidhasan G.:可见类型应用(2016) Nicolas Feltman;Angiuli,Carlo;Acar,Umut A.;Fatahalian,Kayvon:自动拆分两阶段lambda演算(2016)