阿朗佐·丘奇 (Alonzo Church) lambda 演算的发明者PDF书籍下载

原名:Alonzo Church inventor of lambda calculus
作品简介:阿朗佐·丘奇 (Alonzo Church) 是 lambda 演算的发明者。第 2. 127. 9 页。 Lambda 每加三。拉姆达。 （lambda（数字）（+ 数字 3））。 （定义（加三……