编程语言概念——Lambda 演算方法 电子书下载

原名:Programming Language Concepts—The Lambda Calculus Approach
作品简介:1987 Lambda 微积分是一个形式系统，最初是作为数学基础的工具，但主要用于研究以下概念……