Flavien Breuvart

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 15

Top Topics

Anti Unification

Top Venues

Log. Methods Comput. Sci.

Publications

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