以SKI演算作为Combinator演算族的代表，通过形式化的手段给出了SKI演算的π演算语义；通过一个实例验证了所论方法的正确性．所给出的转......

ＡＢＳＴＲＡＣＴ，Ｃ－Ｔ－ＡＢＳ是把λ表达式转换成ＳＫＩ表达式的抽象算法，是函数式语言实现的理论基础。本文从λ演算，ＳＫＩ演算的基本理论出发，对这两个算法进行了理论推导及......