Journal of automated reasoning. 1988;4(2):173-190. doi: 10.1007/bf00244393 Q40.72025

Mechanical procedure for proof construction via closed terms in typed λ calculus

通过类型λ演算中的闭项进行证明构造的机械过程

DOI: 10.1007/bf00244393

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！