德尔芬

此软件的关键字
zbMATH参考文献(参考
18篇文章
盖里,洛伦佐;波佩斯库,安德烈:带绑定的语法形式化一般理论:扩展版(2020) 拉贝,弗洛里安:模块化类型重建算法(2018) Dunfield,Joshua:可扩展数据集优化(2017) Ferreira,Francisco;Pientka,Brigitte:使用一流绑定器的语法的程序(2017年) Stump,Aaron:从属lambda消去的演算(2017) Ziliani,Beta;Dreyer,Derek;Krishnaswami,Neelakantan R.;Nanevski,Aleksandar;Vafeiadis,Viktor:Mtac:Coq中类型化战术编程的单子(2015) 拉贝,弗洛里安:模型与证明理论相结合的逻辑框架(2013) Codescu,Mihai;Horozal,Fulya;Kohlhase,Michael;Mossakowski,Till;Rabe,Florian;Sojakova,Kristina:面向异构工具集Hets中的逻辑框架(2012) Andrew Gacek;Dale Miller;Gopalan Nadathur:计算推理的两级逻辑方法(2012) Abel,Andreas;Pientka,Brigitte:依赖类型和记录的高阶动态模式统一(2011) Georges Gonthier;Ziliani,Beta;Nanevski,Aleksandar;Dreyer,Derek:如何使特别证据自动化更少的即席性(2011年) Stephanie Weirich;Brent A Yorgey;Tim Sheard:未绑定的粘合剂(2011) Lovas,William;Pfenning,Frank:逻辑框架的精化类型及其作为证明无关性的解释(2010) Pientka,Brigitte:编程归纳证明。 基于上下文类型的新方法(2010) Pientka,Brigitte;Dunfield,Joshua:Beluga:用演绎系统编程和推理的框架(系统描述)(2010) 波斯沃斯基,亚当;舒曼,卡斯滕:系统描述:德尔芬——演绎系统的函数式编程语言(2009) ioport公司 Anderson,Penny;Pfenning,Frank:在逻辑框架中验证唯一性(2004) Schürmann,Carsten;Pfenning,Frank:LF的覆盖检查算法(2003)