Lambda calculus in Podcasts

concept

Lambda calculus, a formal system in mathematical logic and computer science for expressing computation based on function abstraction and application.

computation concept formal_system

Mentions Over Time

1 mentions

The Peterman Pod

Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones

Now, Alonzo Church, at the very same time, was working on something he called the lambda calculus, in which there's no motion of mutation.