publications de Flavien Breuvart

Conference papers

B., Dal Lago On Intersection Types and Probabilistic Lambda Calculi: PPDP 2018
B. Refining Properties of Filter Models: Approximability, Sensibility and Reducibility : submited
B., Dal Lago, Herrou On Higher-Order Probabilistic Subrecursion: FOSSACS 2017
Gaboardi, Katsumata, Orchard, B., UUstalu Combining effects and coeffects: ICFP 2016
B., Manzonetto, Polonsky, Ruoppolo New Results on Morris's Observational Theory: the benefits of separating the inseparable: FSCD 2016
B.,Pagani Modelling Coeffects in the Relational Semantics of Linear Logic: CSL 2015.
B. On the characterization of models of H*: CSL-LICS 2014, Kleene Award 2014
B. The resource lambda calculus is short-sighted in its relational model: TLCA 2013
B. On the discriminating power of tests in resource lambda-calculus: A preliminarry (but cited) Arxiv version of the previous paper.

Journal papers

B., Dal Lago, Herrou On Higher-Order Probabilistic Subrecursion (long version): invited, submited
B., Manzonetto, Ruoppolo Relational Graph Models at Work: LMCS
B. On the characterization of models of H*: the operational aspect: to submit...
B. On the characterization of models of H*: the semantical aspect: Invited in LMCS in 2016

Thesis

Slides

A modern approach of Indexed Linear Logic : 60 ans Antonio Buciarelli 2023.
A Fibrational Approach to (Multiplicative Additive) Indexed Linear Logic : journées Scalp 2023.
Graded Types Parametricity : Chocola Novembre 2018.
On Intersection Types and Probabilistic Lambda Calculi : PPDP'2018.
Refining Properties of Filter Models : HOR'2018.
On Higher-Order Probabilistic Subrecursion : Fossacs'2017.
On Higher-Order Probabilistic Subrecursion : Workshop Logic, Complexity and Automation in innsbruck.
From Hard Work to Trickery: A Systematic Approach to Probabilistic Rewriting : Workshop Crecogi in Marseille.
Old and New Results on Probabilistic Intersection Type System : Workshop ITRS and 3rd meetong of the GdRI-LL.
Toward dependant coeffects : 2nd meeting of the GdRI linear logic in Bologna.
Dissecting Denotational Semantics : PhD Defence.
Modelling Coeffects in the relational semantic : CSL'2015.
On the characterization of models of H*: Long version of the following presentation.
On the characterization of models of H*: CSL-LICS'2013 (Kleene Award).
De la charactérisation des modèles de H*: French version of the presentation on CSL-LICS's article.
A bridge between semirings (update): update of the BLLworkshop's one presented in PPS's GDT semantique and Birmingham's theoritical computer science seminar (April 2014).
A bridge between semirings: BLLworkshop 2013 at Fontainebleau
The resource lambda calculus is short-sighted in its relational model: TLCA 2013 at Eindoven
Une bien étrange caractérisation de l’adéquation complète dans les domaines de Scott: meeting GEOCAL 2013 in Lyon