定价:USD 52.00 装帧:Paperback 丛书:Cambridge Tracts in Theoretical Computer Science ISBN:9780521114295 豆瓣评分 评价人数不足 评价: 写笔记 写书评 加入购书单 分享到 推荐 内容简介· ··· Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting...
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 pu...
Share on Facebook lambda calculus (redirected fromLambda-calculus) Encyclopedia Related to Lambda-calculus:Untyped lambda calculus lambda calculus n 1.(Logic)logiccomputinga formalized description of functions and the way in which they combine, developed by Alonzo Church and used in the theory of cer...
Explore book 3.1 The λ-calculus as computation (middle and late 1930s) The λ-calculus is usually thought of as a framework for computing functions. In the setting of STT, however, where the discipline of simple types is applied, those functions are greatly limited in what they can compute...
Part of book or chapter of bookThe λ-calculus represents a class of (partial) functions (λ-definable functions) on the integers that turns out to be the class of (partial) recursive functions. The equivalence between the Turing computable functions and the general recursive functions was ...
Barendregt, H.P.: The Lambda Calculus, its Syntax and Semantics, Studies in Logic 103, Amsterdam, North-Holland, 1981 Google Scholar Church, A.: The Calculi of Lambda-Conversion, Princeton, NJ, Princeton University Press, 1941 Google Scholar Scott, D.pp.: Lambda calculus: some models, ...
图书标签:FPλ-calculus计算机函数式语言计算机科学编程程序语言programming Lambda-calculus, Combinators and Functional Programming 2025 pdf epub mobi 电子书 图书描述 Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mat...
Lambda Calculus with Types 2025 pdf epub mobi 电子书 著者简介 Henk Barendregt holds the chair on the Foundations of Mathematics and Computer Science at Radboud University, Nijmegen, The Netherlands. Wil Dekkers is an Associate Professor in the Institute of Information and Computing Sciences at Radboud...
Facebook Twitter Google Share on Facebook Second-Order Lambda-calculus (language) (SOL) Atyped lambda-calculus. ["Abstract Types have Existential Type", J. Mitchell et al, 12th POPL, ACM 1985, pp. 37-51]. This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc....
Lambda Calculus - Reductions #3 Reduce the following expression, using the beta-rule, to no more thanone term. If the expression cannot be reduced, enter "CAN'T REDUCE". ((λx.(x x))(λx.(x x))) Your answer should look like:...