Lison Blondeau-Patissier

Home

Research

Teaching

Research Interests

I'm interested in denotational semantics, in particular game semantics -- where you see programs as strategies in a game. During my PhD, I worked on Pointer Concurrent Games, a game model developped in order to study the causal structures of innocent strategies. My PhD manuscript is available [here] and offers a detailed (and -hopefuly!- instructive) introduction to these games, as well as a presentation of their links with the resource calculus.

I wish to continue on this line of research and study the links between semantics and syntax, between different models of programming languages -- if these questions interest you as well I would be happy to discuss it by mail or irl!

Publications

Journals

• Strategies as Resource Terms, and Their Categorical Semantics
  With Pierre Clairambault and Lionel Vaux Auclair.
  Logical Methods in Computer Science, October 16, 2025, Volume 21, Issue 4.
  Extended version of Strategies as Resource Terms, and Their Categorical Semantics (FSCD 2023).

Conferences

• Resource Categories from Differential Categories
  Proceedings of JFLA 2024.
• Strategies as Resource Terms, and Their Categorical Semantics
  With Pierre Clairambault and Lionel Vaux Auclair.
  Proceedings of FSCD 2023.
• Positional Injectivity for Innocent Strategies
  With Pierre Clairambault.
  Proceedings of FSCD 2021.

Preprints

• Extensional Taylor Expansion
  With Pierre Clairambault and Lionel Vaux Auclair.
  Accepted for publication in TheoretiCS.

PhD manuscript

• Pointer Concurrent Games and the Ressource Calculus
  Supervised by Pierre Clairambault and Lionel Vaux Auclair.
  Defended on December 4th, 2025 (slides).

Talks

• Resource categories from differential categories,
  JFLA [slides].
• Taylor Expansion is Game Semantics,
  GALOP [abstract] [slides].
• Strategies as Resource Terms, and Their Categorical Semantics,
  FSCD [slides]; Chocola seminar; LdP, LoVe and LIMD seminars.
• Positional Injectivity for Innocent Strategies,
  FSCD [slides]; Journées 2021 du GT Scalp [slides]; PPS, LdP and Plume seminars.

Research activity

• Program Committee of GALOP26.

Others

• An Extensional Resource lambda-calculus and its Categorical Semantics. [pdf]
  Poster made for the Journées Nationales de l'Informatique Mathématique 2022 du GdR IM.