《The Lambda Calculus, Its Syntax and Semantics . Revised Edition》PDF电子书下载
《The Lambda Calculus, Its Syntax and Semantics . Revised Edition》内容简介
H.P. Barendregt / North Holland / 1985-11-15 / USD 133.00 -
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.
同类热门电子书下载更多
- Solaris内核结构
- UML用户指南
- SQL完全手册
- .NET设计规范
- Visual C#2005从入门到精通
- 复杂网络理论及其应用
- Flash第一步
- Software Paradigms
- Haskell
- TCP/IP网络管理
- Effective STL中文版
- ASP.NET动态网站开发基础教程
- Hacker's Delight
- Object-Oriented Design Heuristics
- Ruby Cookbook
- BSD Hacks
- Mastering JavaServer Faces
- Java Servlet & JSP Cookbook
- The Haskell School of Expression
- A Discipline of Programming