STLC-to-SKI:从STLC到SKI演算的转换

【文件属性】：

文件名称：STLC-to-SKI:从STLC到SKI演算的转换

文件大小：2KB

文件格式：ZIP

更新时间：2024-05-22 03:41:50

Agda

这是简单类型的lambda演算与类型的SKI组合器之间的最小转换。 其中包括翻译正确性的经过验证的证明。

【文件预览】：
STLC-to-SKI-master
----ski.agda(4KB)
----README.md(166B)