holoed/LambdaCalculus
Introduced by Alonzo Church and his student Stephen Cole Kleene in the 1930s to study computable functions. A (very simple) formal system for defining functions and their operational meanings, yet is shown to be as powerful as other systems.
正在读取项目信息…