Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Lambda Calculus

< >

Lambda Calculus is a notation created in 1936 by Alonzo Church.

#2989on PLDB 89Years Old

Lambda Calculus is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It serves as a foundation for functional programming languages and theoretical computer science.


Example from the web:
(位x.x) y # Represents the identity function applied to y

- Build the next great programming language Add Add Prompt Issues About Search Keywords Livestreams Labs Resources Acknowledgements

Built with Scroll v178.2.1