On the discriminating power of tests in resource lambda-calculus - Flavien Breuvart (CoRR, 2012)

The Resource Lambda Calculus Is Short-Sighted in Its Relational Model. - Flavien Breuvart (TLCA, 2013)

On the characterization of models of H. - Flavien Breuvart (CSL-LICS, 2014)

Modelling Coeffects in the Relational Semantics of Linear Logic. - Flavien Breuvart; Michele Pagani (CSL, 2015)

Combining effects and coeffects via grading. - Marco Gaboardi; Shin-ya Katsumata; Dominic A. Orchard; Flavien Breuvart; Tarmo Uustalu (ICFP, 2016)

New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable. - Flavien Breuvart; Giulio Manzonetto; Andrew Polonsky; Domenico Ruoppolo (FSCD, 2016)

On the characterization of models of H*: The semantical aspect. - Flavien Breuvart (Log. Methods Comput. Sci., 2016)

On Higher-Order Probabilistic Subrecursion (Long Version). - Flavien Breuvart; Ugo Dal Lago; Agathe Herrou (CoRR, 2017)

On Intersection Types and Probabilistic Lambda Calculi. - Flavien Breuvart; Ugo Dal Lago (PPDP, 2018)

On the characterization of models of H* : The operational aspect. - Flavien Breuvart (CoRR, 2018)

Refining Properties of Filter Models: Sensibility, Approximability and Reducibility. - Flavien Breuvart (CoRR, 2018)

Relational Graph Models at Work. - Flavien Breuvart; Giulio Manzonetto; Domenico Ruoppolo (Log. Methods Comput. Sci., 2018)

On Higher-Order Probabilistic Subrecursion. - Flavien Breuvart; Ugo Dal Lago; Agathe Herrou (Log. Methods Comput. Sci., 2021)

Canonical Gradings of Monads. - Flavien Breuvart; Dylan McDermott; Tarmo Uustalu (ACT, 2022)

Unifying Graded Linear Logic and Differential Operators. - Flavien Breuvart; Marie Kerjean; Simon Mirwasser (FSCD, 2023)

An Indexed Linear Logic for Idempotent Intersection Types (Long version). - Flavien Breuvart; Federico Olimpieri (CoRR, 2024)

Categorical Continuation Semantics for Concurrency. - Flavien Breuvart; Hugo Paquet (FSCD, 2025)