- Jun 13 2008
How to create "recursive" functions in λ-calculus
7 min
How to create "recursive" functions in λ-calculus
7 min - May 2 2008
Arithmetic with Lambda Calculus
6 min
One simple way to make arithmetic expressions in lambda calculus, is just to extend the calculus with the arithmetic rules: (λx.(λy. x+y)) 2 3 → (λy. 2+y) 3 → 2+3 = 5 But that's pretty easy for us, and (as you problably have already noticed) we like...
6 min - Mar 28 2008
Lambda Calculus
4 min
Lambda Calculus
4 min - Mar 15 2008
Basis of Term Rewriting Systems
2 min
Basis of Term Rewriting Systems
2 min
Contributors
Nicolás di Tada Founder
Matías García Isaía Full-stack Engineer & Site Reliability Engineer
Leandro Matayoshi Full-stack Engineer
Martin Pettinati Marketing & Communications Lead
Beta Ziliani Team Lead & Product Manager
Sergio Medina
Pablo Brusco
María Inti David
Ary Borenszweig
Santiago Palladino
Valeria Tiffenberg
Martín Verzilli
Paula Mallol
Juan Wajnerman
Brian J. Cardiff