- Nov 13 2008
Different properties one can expect from any λ-calculus
3 min
Different properties one can expect from any λ-calculus
- Sep 9 2008
Explicit Substitutions, or Substitutions If You Need to Implement Them
3 min
Explicit Substitutions, or Substitutions If You Need to Implement Them
- Jul 29 2008
And now for something completely different
10 min
And now for something completely different
- 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
Arithmetic with Lambda Calculus
Contributors
Nicolás di Tada Founder
Matías García Isaía Full-stack Engineer & Site Reliability Engineer
Martin Pettinati Marketing & Communications Lead
Beta Ziliani Team Lead & Product Manager
Leandro Radusky Bioinformatics Lead
Martín Verzilli Chief Technology Officer
Sergio Medina Alumni
Pablo Brusco Alumni
María Inti David Alumni
Ary Borenszweig Alumni
Santiago Palladino Alumni
Valeria Tiffenberg Alumni
Paula Mallol Alumni
Juan Wajnerman Alumni
Brian J. Cardiff Alumni
Leandro Matayoshi Alumni