The Lambda Calculus, Its Syntax and Semantics . Revised Edition 2024 pdf epub mobi 电子书


The Lambda Calculus, Its Syntax and Semantics . Revised Edition

简体网页||繁体网页

The Lambda Calculus, Its Syntax and Semantics . Revised Edition 2024 pdf epub mobi 电子书 著者简介


The Lambda Calculus, Its Syntax and Semantics . Revised Edition 电子书 图书目录




点击这里下载
    


想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-22

The Lambda Calculus, Its Syntax and Semantics . Revised Edition 2024 pdf epub mobi 电子书

The Lambda Calculus, Its Syntax and Semantics . Revised Edition 2024 pdf epub mobi 电子书

The Lambda Calculus, Its Syntax and Semantics . Revised Edition 2024 pdf epub mobi 电子书



喜欢 The Lambda Calculus, Its Syntax and Semantics . Revised Edition 电子书 的读者还喜欢


The Lambda Calculus, Its Syntax and Semantics . Revised Edition 电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价
出版者:North Holland
作者:H.P. Barendregt
出品人:
页数:621
译者:
出版时间:1985-11-15
价格:USD 133.00
装帧:Paperback
isbn号码:9780444875082
丛书系列:

图书标签: lambda_calculus  计算机科学  FP  数学  lambda  计算机  math  計算機   


The Lambda Calculus, Its Syntax and Semantics . Revised Edition 2024 pdf epub mobi 电子书 图书描述

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 2024 pdf epub mobi 电子书

The Lambda Calculus, Its Syntax and Semantics . Revised Edition 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

The Lambda Calculus, Its Syntax and Semantics . Revised Edition 2024 pdf epub mobi 用户评价

评分

评分

评分

评分

评分

The Lambda Calculus, Its Syntax and Semantics . Revised Edition 2024 pdf epub mobi 电子书


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有