- Jun 13 2008
## How to create "recursive" functions in λ-calculus

7 min

How to create "recursive" functions in λ-calculus

- 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...

- Mar 28 2008
## Lambda Calculus

4 min

Lambda Calculus

- Mar 15 2008
## Basis of Term Rewriting Systems

2 min

Basis of Term Rewriting Systems

## 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