拉姆达演算 电子书下载

原名:Lambda Calculus
作品简介:2.3 练习。 4.1 可定义性。第 2 章条款和减免。 2.1 拉姆达术语。乍一看，λ 演算是一种简单的语言，其中……