ALGOL 60与Church’s Lambda-notation的对应关系: 第一部分
工具书类
建议
更多教堂–Rosser Proofs 非类型λ-演算中β、η和βνη约简的Church–Rosser定理的证明在Isabelle/HOL中进行了形式化,这是泛型定理证明程序Isabelle中高阶逻辑的实现。 对于β-约化,标准证明和。。。
评论
信息和贡献者
问询处
发布于
出版商
出版历史
检查更新
限定符
第条
贡献者
其他指标
文献计量学和引文
文献计量学
文章指标
其他指标
引文
引用人
活页夹D Tzschentke M公司 米勒·M 奥斯特曼K (2024) 挖掘序贯演算(功能珍珠) 美国计算机学会程序设计语言会议录 10.1145/3674639 8 :ICFP (395-425) 在线发布日期:2024年8月15日 基塞利约夫O (2024) 生成C 计算机程序设计科学 2016年10月10日/j.scico.2023.103015 231 :C 在线发布日期:2024年1月1日 Coquand T系列 (2023) 关于依赖型理论的几点注记 法国编程学院 10.1007/978-3-031-34518-0_8 (175-202) 在线发布日期:2021年10月11日 Dybjer P公司 砂光机H (2022) 并发系统规范和验证的函数编程方法 计算的形式方面 2007年10月10日/BF01887211 1 :1 (303-319) 在线发布日期:2022年1月2日 Cimini M公司 穆拉德B (2021) 课堂中的语言转换 理论计算机科学中的电子论文集 10.4204/EPTCS.339.6 339 (43-58) 在线发布日期:2021年8月23日 佩兹拉一世 (2021) 意义与计算:可计算命题的两种方法 逻辑、语言、信息和计算 10.1007/978-3-030-88853-4_7 (100-116) 在线发布日期:2021年10月5日 阿卡托利B Dal Lago大学 瓦诺尼G 加布里埃利M 阿贝尔A 切尼J (2020) 互动机制 第22届声明式程序设计原理与实践国际研讨会论文集 10.1145/3414080.3414108 (1-15) 在线发布日期:2020年9月8日 麦奎因D 哈珀R Reppy J系列 (2020) 标准ML的历史 美国计算机学会程序设计语言会议录 10.1145/3386336 4 :HOPL公司 (1-100) 在线发布日期:2020年6月12日 杜威K 海拉普蒂安S 加夫里洛夫·M (2020) MiMIs:简单、高效和快速边界的穷尽测试用例生成器 2020 IEEE第13届软件测试、验证和验证国际会议(ICST) 10.1109/ICST46399.2020.00016 (51-62) 在线发布日期:2020年10月 卡瓦略F 杜阿尔特L Gouesse J公司 (2020) 认为有害的文本Web模板 Web信息系统和技术 10.1007/978-3-030-61750-9_4 (69-95) 在线发布日期:2020年11月3日 显示更多引用者