nLab Yves Lafont

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, polygraphic resolutions, and interaction combinators.

• website

Selected writings

• 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