- Nov 13 2009
The long and winding road... to a master thesis
7 min
The long and winding road... to a master thesis
- Nov 13 2008
Different properties one can expect from any λ-calculus
3 min
In this post I will show two different sets of properties that any variation of λ-calculus with explicit substitutions may or must have. The must: 1) Any substitution must end, i. e. the process of change a variable by a term must always end, no matter...
- Nov 13 2008
Making a thesis
3 min
In all previous posts I've tried to teach the different aspects inside my thesis. But after going deeper and deeper, the concepts tend to complicate too much, and much more dedication from the reader is needed. After trying to add another technical...
- 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

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