Yves Lafont is a Professor at the *Université de la Méditerranée (Aix-Marseille 2)* and a researcher at the *Institut de Mathématiques de Luminy*. He is well known for work in Linear Logic, and more recently on polygraphic resolutions.

- Doctoral thesis: Logiques, catégories & machines : implantation de langages de programmation guidée par la logique catégorique

On form logic and formal proof theory (typed $\lambda$-calculus, linear logic, coherence spaces, …)

- Jean-Yves Girard (translated and with appendiced by Paul Taylor and Yves Lafont),
*Proofs and Types*, Cambridge University Press (1989) [ISBN:978-0-521-37181-0, webpage, pdf]

category: people

Last revised on August 6, 2022 at 13:00:28. See the history of this page for a list of all contributions to it.