The Lambda Calculus, Its Syntax and Semantics . Revised Edition pdf epub mobi txt 電子書 下載2025
出版者:North Holland
作者:H.P. Barendregt
出品人:
頁數:621
译者:
出版時間:1985-11-15
價格:USD 133.00
裝幀:Paperback
isbn號碼:9780444875082
叢書系列:
圖書標籤:
- lambda_calculus
- 計算機科學
- FP
- 數學
- lambda
- 計算機
- math
- 計算機
下載連結在頁面底部
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.
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有