Lambda-Calculus and Combinators 作者: J. Roger Hindley / Jonathan P. Seldin 出版社: Cambridge University Press副标题: An Introduction出版年: 2008-8-11页数: 358定价: USD 84.99装帧: HardcoverISBN: 9780521898850豆瓣评分 9.2 16人评价
Lambda-calculus and combi- nators in the 20th century. In D. M. Gabbay and J. Woods, editors, Handbook of the History of Logic: Logic from Russell to Church, volume 5, pages 723-817. Elsevier, 2009.F. Cardone and J. R. Hindley. Lambda-Calculus and Combinators in the 20th Century...
Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The ...
Lambda-calculus, combinators and functional programming G. Revesz, Cambridge Univ. Press, 1988, 200 pp.doi:10.1016/0001-8708(90)90053-pGian-Carlo RotaAdvances in Mathematics
REVESZ, Lambda-Calculus, Combinators and Functional Programming, Cambridge Univ. Press, 1988, 200 pp. Finally, a clear, no-nonsense survey of what increasingly appears to be the first successful theory of “types,” namely, the lambda calculus of Church and its offshoots. Sometimes we wonder ...
The Lambda Calculus and Combinators Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The λ-calculus Combinatory logic The power of λ and CL...
Lambda-Calculus and Combinators 英文原版 λ演算和组合子 J. Roger Hindley 精装 英文版 进口英语原版书籍 J. Roger Hindley著 京东价 ￥降价通知 累计评价 0 促销 展开促销 配送至 --请选择-- 支持 更多商品信息 华研外语官方旗舰店 商品评价4.7 高 ...
Lambda-Calculus and Combinators 电子书 读后感 评分☆☆☆ 我会点lisp会点sml,懵懵懂懂能写点一两百行的程序,但心里很清楚自己连门槛都没摸着,于是读了lambda calculus的wiki词条,感觉还是边都摸不到,于是买了这本书打算系统的了解一下。 本来对这书没太大期望值,但边翻边看出味道来了。每看一章都有惊喜啊...
Science, 1994.J. R. Hindley & J. P. Seldin, Introduction to Combinators and Lambda-Calculus,...
Lambda-calculus, Combinators and Functional Programming 电子书 读后感 评分☆☆☆ 评分☆☆☆ 评分☆☆☆ 评分☆☆☆ 评分☆☆☆ 类似图书 点击查看全场最低价 出版者:Cambridge University Press 作者:G. E. Revesz 出品人: 页数:192 译者: 出版时间...