Lambda calculus

concept
4 mentions 2 recordings first heard Sep 2025 last heard 8 Jun ±0 vs the 12 months before

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

Trend

mentions per week · public audio 7d30d6M12M
2 · 2 Jun SepDecMarJunnow

Peak in the week of 2 Jun — 2 mentions across 1 series.

Moments

newest first · ▶ plays the moment
Simon Peyton JonesThe Peterman Pod · Co-Creator of Haskell: Functional Programming, Thinking in T... · 3:37 · 8 Jun
…The lambda calculus is like the essence of functional programming.…
· Open transcript →
Simon Peyton JonesThe Peterman Pod · Co-Creator of Haskell: Functional Programming, Thinking in T... · 3:30 · 8 Jun
…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.…
· Open transcript →
Stephen WolframTheories of Everything with Curt Jaimungal · Stephen Wolfram: Why the Universe Is Pure Computation · 1:34:51 · Sep 2025
…And the things I've been doing very recently, last few weeks, on Lambda calculus, that's an area where the obvious visualizations are just horrendous.…
· Open transcript →
Stephen WolframTheories of Everything with Curt Jaimungal · Stephen Wolfram: Why the Universe Is Pure Computation · 14:50 · Sep 2025
…Or for example, I've been looking most recently, as it……
4 moments · sign in to read them all