2019年政治公众人物会议论文的Agda形式化
浅井贤一
2018年12月8日
摘要:此页面包含论文的Agda形式化:
阿赛,K。“从证明中提取调用名部分求值器终止,“ACM SIGPLAN部分评估和基于语义的研讨会《程序操纵》(PEPM 2019),共7页,将于2019年1月出版。
目录
- 在Agda 2.5.2上测试,标准库0.13
- 中的所有以下文件拉链
-
deBruijn-cbn.agda公司
- 类型、术语、重命名、替换基于安德烈亚斯·阿贝尔的形式化.
- 减少-bn.agda
- 弱约简的约简关系
- 正常cbn.agda
- 弱约简的终止证明
- reduce-pe.agda公司
- 强约简的约简/等式关系
- 正常-pe.agda
- 强约简的终止证明
本文件由L翻译而成A类T型E类X由H(H)E类V(V)E类A类.