nLab Yves Lafont

Selected writings

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.

Selected writings

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

category: people

Last revised on March 27, 2023 at 11:49:08. See the history of this page for a list of all contributions to it.