- Nov 13 2009
The long and winding road... to a master thesis
7 min
From the very start of my thesis, the key idea was to find a lambda calculus with explicit substitutions, indexes, and all the good properties (I refer the reader to all previous posts). In particular, having in mind a recent work from Delia Kesner
- Nov 13 2008
Making a thesis
3 min
Making a thesis
- 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
With this cite of Monthy Python, I will move into another family of calculi. What's wrong with our good ol' λ-calculus? Nearly nothing, except if you want to implement it in a real PC. In one of the firsts posts I've mentioned the α-congruence. The...
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

Sergio Medina

Pablo Brusco

María Inti David

Ary Borenszweig

Santiago Palladino

Valeria Tiffenberg

Martín Verzilli

Paula Mallol

Juan Wajnerman

Brian J. Cardiff

Leandro Matayoshi