Difference between revisions of "Lambda calculus"
Jump to navigation
Jump to search
(Created page with "Lambda calculus is a formal language that can serve as a foundation of all general purpose programming languages. It is also a kind of Universa...") |
|||
| 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]]. | [[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]]. | ||
A nice tutorial can be found here<ref>{{:Video/Lambda Calculus - Computerphile}}</ref>. | |||
<noinclude> | |||
=References= | |||
<references/> | |||
==Related Pages== | |||
[[Category:Programming Language]] | [[Category:Programming Language]] | ||
</noinclude> | |||
Revision as of 02:58, 6 August 2021
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.
A nice tutorial can be found here[1].
References
- ↑ Graham, Hutton (January 28, 2017). Lambda Calculus - Computerphile. local page: Computerphile.