- 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

**Juan Wajnerman** CTO

**Brian J. Cardiff** Principal Engineer, Product Manager & Researcher

**Martín Verzilli** Product Manager & Team Lead

**Matías García Isaía** Full-stack Engineer

**Leandro Matayoshi** Full-stack Engineer

**Martin Pettinati** Marketing & Communications Lead

**Sergio Medina**

**Pablo Brusco**

**Luis Ziliani**

**María Inti David**

**Ary Borenszweig**

**Santiago Palladino**

**Valeria Tiffenberg**