Difference between revisions of "Lambda calculus"
Jump to navigation
Jump to search
m |
m |
||
(4 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
+ | [[Category:Glossary]] |
||
⚫ | |||
+ | {{Foundations infobox}} |
||
⚫ | |||
⚫ | |||
+ | |||
⚫ |
Latest revision as of 20:50, 16 August 2022
The lambda calculus is a formal mathematical system for expressing the notion of computation. Most functional programming languages are based upon the lambda calculus.
Wikipedia has more information on the matter: Lambda calculus.