Difference between revisions of "Lambda calculus"

From PKC
Jump to navigation Jump to search
(Redirected page to Lambda Calculus)
Tag: New redirect
 
(5 intermediate revisions by the same user not shown)
Line 1: Line 1:
[[wikipedia:Lambda calculus|Lambda calculus]] is a formal language that can serve as a foundation of all general purpose programming languages. It is also a kind of [[Universal Data Abstraction]]. Essentially, a lambda calculus is a recursively defined dictionary with just three branches of possible values.
#REDIRECT [[Lambda Calculus]]
 
A nice tutorial can be found here<ref>{{:Video/Lambda Calculus - Computerphile}}</ref>.
 
<noinclude>
=References=
<references/>
 
==Related Pages==
[[Category:Programming Language]]
</noinclude>

Latest revision as of 14:15, 19 May 2022

Redirect to:

Retrieved from "https://pkc.pub/index.php?title=Lambda_calculus&oldid=30835"