Lambda Calculus
Lambda calculus (often written λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.
Programming Languages
Explore Programming Languages through related topics and the articles other pages reference most.
Explore articles
Browse subtopics: Mathematics
Articles that also belong to these categories. Counts cover all of Programming Languages.
All articles (23)Computer Science (8)Developer Tools (5)Machine Learning (5)AI History (4)AI Infrastructure (2)Mathematics (2)Open Source AI (2)Software Development (2)AI Agents (1)AI Tools & Products (1)Artificial Intelligence (1)Data Science (1)Deep Learning (1)Microsoft (1)Neural Networks (1)OpenAI (1)Statistics (1)
Showing 1-2 of 2 articles
Lean (Theorem Prover)
Lean is an open source interactive theorem prover and dependently typed functional programming language created by Leonardo de Moura, first launched at Microsoft Research Redmond in 2013.