The Logic, Semantics and Categories team (LSC) located in the Luminy campus is a team from the Laboratoire d’Informatique et Systèmes (LIS, UMR CNRS 7020), at Aix-Marseille Université. Our research themes are related with formal structures for proofs and programs. We are interested in various technical approaches, which may be syntactic (deduction systems, lambda-calculus, rewriting…), semantic (domain theory, quantitative semantics, game semantics,…) or algebraic or categorical.

Keywords: type systems, proof systems, Curry-Howard correspondence, linear logic, denotational semantics, probabilistic programming, order theory, category theory.


  • Pierre Clairambault has defended his HDR on the 21/02/2024

Permanent members

PhD students and non-permanent team members