- 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

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