- Mar 28 2008
## Lambda Calculus

4 min

From the Wikipedia: "calculus can refer to any method or system of calculation", and that's not an exception for the Lambda Calculus. First of all, lets define the terms of this calculus: A Lambda Term is something with the form x where x is in...

- Mar 15 2008
## Basis of Term Rewriting Systems

2 min

A Term Rewriting System (TRS) is a very powerful yet simple math tool used, for instance, for the creation of computational models. Given a set of function symbols S, and an (uncountable) set of variables V, I will define rewriting rule by example...

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