Explicit Substitutions, or Substitutions If You Need to Implement Them
-
Explicit Substitutions, or Substitutions If You Need to Implement Them
-
How to create "recursive" functions in λ-calculus
How to create "recursive" functions in λ-calculus
-
Discrete Event Simulation and the DEVS formalism
Just to gather new tools to help me in my M. Sc. thesis, I’m taking a course on Discrete Event Simulation. This course in fact is not as general as its name may suggest. It focuses mainly on modelling with a formalism called DEVS (which stands for...
-
Lambda Calculus
Lambda Calculus
-
Basis of Term Rewriting Systems
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
Jonathan Kicillof Art Director
Matías García Isaía Full-stack Engineer & Site Reliability Engineer
Francisco Tarulla Full-stack Engineer
Martin Pettinati Marketing & Communications Lead
Beta Ziliani Team Lead & Product Manager
Leandro Radusky Alumni
Mitchell Russell Principal Engineer
Martín Verzilli CTO
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