剧情简介：Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version, first published in 2008, is thoroughly revised and offers an account of the subject wit...(展开全部)
标签：计算机科学 / 函数式编程 / 计算机 / 数学 / 逻辑 / 数理逻辑 / 编程 / 编程语言
作者：J. Roger Hindley
出版社：Cambridge University Press
ISBN：9780521898850
