Flavien Breuvart

21 papers A 1B 5C 1Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Unifying Graded Linear Logic and Differential Operators.
Log. Methods Comput. Sci.
Flavien Breuvart, Marie Kerjean, Simon Mirwasser
2025 B conf
Categorical Continuation Semantics for Concurrency.
FSCD
Flavien Breuvart, Hugo Paquet
2024 J jnl
An Indexed Linear Logic for Idempotent Intersection Types (Long version).
CoRR
Flavien Breuvart, Federico Olimpieri
2024 J jnl
Unifying Graded Linear Logic and Differential Operators.
CoRR
Flavien Breuvart, Marie Kerjean, Simon Mirwasser
2023 B conf
Unifying Graded Linear Logic and Differential Operators.
FSCD
Flavien Breuvart, Marie Kerjean, Simon Mirwasser
2022 — conf
Canonical Gradings of Monads.
ACT
Flavien Breuvart, Dylan McDermott, Tarmo Uustalu
2021 J jnl
On Higher-Order Probabilistic Subrecursion.
Log. Methods Comput. Sci.
Flavien Breuvart, Ugo Dal Lago, Agathe Herrou
2018 C conf
On Intersection Types and Probabilistic Lambda Calculi.
PPDP
Flavien Breuvart, Ugo Dal Lago
2018 J jnl
On the characterization of models of H* : The operational aspect.
CoRR
Flavien Breuvart
2018 J jnl
Refining Properties of Filter Models: Sensibility, Approximability and Reducibility.
CoRR
Flavien Breuvart
2018 J jnl
Relational Graph Models at Work.
Log. Methods Comput. Sci.
Flavien Breuvart, Giulio Manzonetto, Domenico Ruoppolo
2017 J jnl
On Higher-Order Probabilistic Subrecursion (Long Version).
CoRR
Flavien Breuvart, Ugo Dal Lago, Agathe Herrou
2017 B conf
On Higher-Order Probabilistic Subrecursion.
FoSSaCS
Flavien Breuvart, Ugo Dal Lago, Agathe Herrou
2017 J jnl
Relational Graph Models at Work.
CoRR
Flavien Breuvart, Giulio Manzonetto, Domenico Ruoppolo
2016 A conf
Combining effects and coeffects via grading.
ICFP
Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu
2016 B conf
New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable.
FSCD
Flavien Breuvart, Giulio Manzonetto, Andrew Polonsky, Domenico Ruoppolo
2016 J jnl
On the characterization of models of H*: The semantical aspect.
Log. Methods Comput. Sci.
Flavien Breuvart
2015 B conf
Modelling Coeffects in the Relational Semantics of Linear Logic.
CSL
Flavien Breuvart, Michele Pagani
2014 — conf
On the characterization of models of
CSL-LICS
Flavien Breuvart
2013 — conf
The Resource Lambda Calculus Is Short-Sighted in Its Relational Model.
TLCA
Flavien Breuvart
2012 J jnl
On the discriminating power of tests in resource lambda-calculus
CoRR
Flavien Breuvart