The Lambda Calculus, Its Syntax and Semantics . Revised Edition pdf epub mobi txt 电子书 下载 2024
简体网页||繁体网页
图书标签: lambda_calculus 计算机科学 FP 数学 lambda 计算机 math 計算機
喜欢 The Lambda Calculus, Its Syntax and Semantics . Revised Edition 的读者还喜欢
-
Lambda-Calculus and Combinators pdf epub mobi txt 电子书 下载 -
Types and Programming Languages pdf epub mobi txt 电子书 下载
-
Advanced Compiler Design and Implementation pdf epub mobi txt 电子书 下载
-
The Haskell Road to Logic, Maths and Programming. Second Edition pdf epub mobi txt 电子书 下载
-
Elements of Programming pdf epub mobi txt 电子书 下载
-
Essentials of Programming Languages, 3rd Edition pdf epub mobi txt 电子书 下载
-
Modern Compiler Implementation in ML pdf epub mobi txt 电子书 下载
-
How to Design Programs pdf epub mobi txt 电子书 下载
-
Practical Common Lisp pdf epub mobi txt 电子书 下载
-
The Reasoned Schemer pdf epub mobi txt 电子书 下载
点击这里下载
发表于2024-11-24
The Lambda Calculus, Its Syntax and Semantics . Revised Edition epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
The Lambda Calculus, Its Syntax and Semantics . Revised Edition epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
The Lambda Calculus, Its Syntax and Semantics . Revised Edition pdf epub mobi txt 电子书 下载 2024
图书描述
The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.
著者简介
图书目录
The Lambda Calculus, Its Syntax and Semantics . Revised Edition pdf epub mobi txt 电子书 下载
用户评价
读后感
评分
评分
评分
评分
The Lambda Calculus, Its Syntax and Semantics . Revised Edition pdf epub mobi txt 电子书 下载 2024
分享链接
The Lambda Calculus, Its Syntax and Semantics . Revised Edition pdf 电子书 下载链接
相关图书
-
ASP.NET动态网站开发基础教程 pdf epub mobi txt 电子书 下载
-
.NET本质论 第1卷:公共语言运行库 pdf epub mobi txt 电子书 下载
-
The Haskell School of Expression pdf epub mobi txt 电子书 下载
-
Java Servlet & JSP Cookbook pdf epub mobi txt 电子书 下载
-
Mastering JavaServer Faces pdf epub mobi txt 电子书 下载
-
UML和模式应用 pdf epub mobi txt 电子书 下载
-
TCP/IP网络管理 pdf epub mobi txt 电子书 下载
-
Haskell pdf epub mobi txt 电子书 下载
-
Software Paradigms pdf epub mobi txt 电子书 下载
-
组成论 pdf epub mobi txt 电子书 下载
-
The Seasoned Schemer pdf epub mobi txt 电子书 下载
-
Beginning JavaScript with DOM Scripting and Ajax pdf epub mobi txt 电子书 下载
-
莱昂氏UNIX源代码分析 pdf epub mobi txt 电子书 下载
-
XML完全探索 pdf epub mobi txt 电子书 下载
-
UNIX教程 pdf epub mobi txt 电子书 下载
-
Java5.0Tiger程序高手秘笈 pdf epub mobi txt 电子书 下载
-
精通EJB pdf epub mobi txt 电子书 下载
-
程序员2005精华本 pdf epub mobi txt 电子书 下载
-
UNIX编程艺术 pdf epub mobi txt 电子书 下载
-
法律论证理论 pdf epub mobi txt 电子书 下载
