Combining Linear Logic and Size Types for Implicit Complexity. - Patrick Baillot; Alexis Ghyselen (CSL, 2018)

Type-Based Complexity Analysis of Probabilistic Functional Programs. - Martin Avanzini; Ugo Dal Lago; Alexis Ghyselen (LICS, 2019)

Types for Parallel Complexity in the Pi-calculus. - Patrick Baillot; Alexis Ghyselen (CoRR, 2019)

Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes. - Patrick Baillot; Alexis Ghyselen; Naoki Kobayashi 001 (CONCUR, 2021)

Types for Complexity of Parallel Computation in Pi-Calculus. - Patrick Baillot; Alexis Ghyselen (ESOP, 2021)

Sized Types Methods and their Applications to Complexity Analysis in Pi-Calculus. (Les Types à Tailles et leurs Applications pour l'Analyse de Complexité dans le Pi-Calcul). - Alexis Ghyselen (2021)

On Reinforcement Learning, Effect Handlers, and the State Monad. - Ugo Dal Lago; Francesco Gavazzo; Alexis Ghyselen (CoRR, 2022)

Open Higher-Order Logic (Long Version). - Ugo Dal Lago; Francesco Gavazzo; Alexis Ghyselen (CoRR, 2022)

Open Higher-Order Logic. - Ugo Dal Lago; Francesco Gavazzo; Alexis Ghyselen (CSL, 2023)

On Model-Checking Higher-Order Effectful Programs (Long Version). - Ugo Dal Lago; Alexis Ghyselen (CoRR, 2023)

On Model-Checking Higher-Order Effectful Programs. - Ugo Dal Lago; Alexis Ghyselen (Proc. ACM Program. Lang., 2024)