- 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
![](/images/staff/ndt.jpg)
Nicolás di Tada Founder
![](/images/staff/mgarcia.jpg)
Matías García Isaía Full-stack Engineer & Site Reliability Engineer
![](/images/staff/mpettinati.jpg)
Martin Pettinati Marketing & Communications Lead
![](/images/staff/bziliani.jpg)
Beta Ziliani Team Lead & Product Manager
![](/images/staff/lradusky.jpg)
Leandro Radusky Bioinformatics Lead
![](/images/staff/mverzilli.jpg)
Martín Verzilli Chief Technology Officer
![](/images/staff/smedina.jpg)
Sergio Medina Alumni
![](/images/staff/pbrusco.jpg)
Pablo Brusco Alumni
![](/images/staff/mdavid.jpg)
María Inti David Alumni
![](/images/staff/ary.jpg)
Ary Borenszweig Alumni
![](/images/staff/spalladino.jpg)
Santiago Palladino Alumni
![](/images/staff/vtiffenberg.jpg)
Valeria Tiffenberg Alumni
![](/images/staff/pmallol.jpg)
Paula Mallol Alumni
![](/images/staff/waj.jpg)
Juan Wajnerman Alumni
![](/images/staff/bcardiff.jpg)
Brian J. Cardiff Alumni
![](/images/staff/lmatayoshi.jpg)
Leandro Matayoshi Alumni