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.
On form logic and formal proof theory (typed -calculus, linear logic, coherence spaces, …)
Last revised on March 27, 2023 at 11:49:08. See the history of this page for a list of all contributions to it.