- 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...
4 min - 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...
2 min
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