The Lambda Calculus, Its Syntax and Semantics . Revised Edition

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 
  • 計算機 
  •  
想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

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. 小哈圖書下載中心 版权所有