Lafont, Yves

Lafont, Yves
All Links

Share this:

Details of Lafont, Yves

About Lafont, Yves
Lafont, Yves- University of Marseille II - Linear logic, lambda calculus, proof theory, term rewriting. Lafont invented the theory of interaction nets, an elegant theory of graph rewriting.
Education