Lambda calculus - Wikipedia, the free encyclopedia

9 bookmarks. First posted by rwhe january 2013.

RT : Lambda calculus was & is the heart and soul of 'FP', not pattern matching or immutable collections or 'closures'.
from twitter
12 days ago by romac
Lambda calculus - Added September 19, 2012 at 11:15AM
functional-programming  programming 
january 2016 by xenocid
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.
november 2015 by gr4yscale