nLab Paul-André Melliès

Selected writings

Paul-André Melliès is a CNRS Researcher, member of the Laboratoire PPS at the Department of Mathematical Sciences and Department of Computer Science of the Université Paris 7 - Denis Diderot. He is interested in Mathematical logic, proof theory, game semantics, theory and practice of programming languages, formalized mathematics, proof assistants, mathematical physics, knot theory, quantum groups, n-dimensional algebra, and operads (and in practice a lot more!)

His webpage is here.

Selected writings

On categorical semantics of linear logic with its exponential modality:

On string diagrams

On type refinement:

On the local state monad:

On the Grothendieck construction for model categories:

On presheaves of modules as models for intuitionistic linear logic

  • Paul-André Melliès, A Functorial Excursion Between Algebraic Geometry and Linear Logic, in 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (LICS ‘22), August 2–5, 2022, Haifa, Israel. ACM, New York, (doi:10.1145/3531130.3532488, pdf)
category: people

Last revised on August 21, 2023 at 09:25:37. See the history of this page for a list of all contributions to it.