|
Logic & Semantics |
The goal of the talk is to introduce a typed language of graph combinators and a theory on it as a model of sharing computations.
The design of sharing combinators will be developed by reasoning on a concrete, and non trivial example of sharing computations: those performed by BOHM Interpreter, which implements Optimal Reduction à la Levy for lambda calculus.