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.

Rate This Site

More in People Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5285114" title="Lafont, Yves"><img src="https://e-sygoing.link/badge.php?lid=5285114" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

Lafont, Yves

Rate This Site

Submit Your Site

Related Links