nLab Paul-André Melliès

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:

• Paul-André Melliès, Categorical models of linear logic revisited (2002) [hal:00154229]

• Paul-André Melliès, Categorical semantics of linear logic, in Interactive models of computation and program behaviour, Panoramas et synthèses 27 (2009) 1-196 [web, pdf, pdf]

On string diagrams

• Paul-André Melliès, Functorial boxes in string diagrams, Procceding of Computer Science Logic 2006 in Szeged, Hungary. 2006 (hal:00154243, pdf, pdf)

On type refinement:

• Paul-André Melliès, Noam Zeilberger, Type refinement and monoidal closed bifibrations, arXiv:1310.0263

• Paul-André Melliès, Noam Zeilberger, Functors are Type Refinement Systems, (pdf , HAL)

• Paul-André Melliès, Noam Zeilberger, An Isbell Duality Theorem for Type Refinement Systems, (pdf)

On the local state monad:

• Paul-André Melliès, Local States in String Diagrams, In: G. Dowek (eds.) Rewriting and Typed Lambda Calculi RTA TLCA 2014, Lecture Notes in Computer Science 8560 Springer (2014) [doi:10.1007/978-3-319-08918-8_23]

On the Grothendieck construction for model categories:

• Pierre Cagne, Paul-André Melliès, On bifibrations of model categories, Advances in Mathematics

  370 (2020) 107205 [arXiv:1709.10484, doi:10.1016/j.aim.2020.107205]

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