Lison Blondeau-Patissier

Home

Research

Teaching

Publications:

• Resource Categories from Differential Categories, JFLA24. [hal]
• Strategies as Resource Terms, and Their Categorical Semantics, FSCD23. [pdf]
  with Pierre Clairambault and Lionel Vaux Auclair.
• Positional Injectivity for Innocent Strategies, FSCD21. [pdf]
  with Pierre Clairambault.

Preprints:

• Extended version of Strategies as Resource Terms, and Their Categorical Semantics. [arxiv]
  with Pierre Clairambault and Lionel Vaux Auclair.
• Extensional Taylor Expansion. [arxiv]
  with Pierre Clairambault and Lionel Vaux Auclair.

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.

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.