类型系统立方体的完整证明综合方法
摘要：Barendregt方块中8种类型系统的完整证明合成方法的介绍及其包括$eta$-conversion。这些系统验证了证明即对象的模式，证明合成方法是一个将统一和解析合并为一级过程。然后，介绍了该方法的一种变体，虽然不完整但更高效。最后，展示了如何将此算法转化为一个统一算法。
作者：Gilles Dowek (DEDUCTEAM)
论文ID：2306.05835
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-12