登入選單

返回Google圖書搜尋

Lambda-calculus, Types and Models

Jean Louis Krivine

出版	Ellis Horwood, 1993
主題	Mathematics / Discrete MathematicsMathematics / Logic
ISBN	01306240719780130624079
URL	http://books.google.com.hk/books?id=xE4_AQAAIAAJ&hl=&source=gbs_api

註釋

This introduction to lambda-calculus looks at aspects of the theory: combinatory logic, models, and type streams, showing how they interlink and underpin computer science.