Flavien Breuvart

According to our database, Flavien Breuvart authored at least 16 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An Indexed Linear Logic for Idempotent Intersection Types (Long version).

Flavien Breuvart, Federico Olimpieri

CoRR, 2024

2023

Unifying Graded Linear Logic and Differential Operators.

Flavien Breuvart, Marie Kerjean, Simon Mirwasser

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

Canonical Gradings of Monads.

Flavien Breuvart, Dylan McDermott, Tarmo Uustalu

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

2021

On Higher-Order Probabilistic Subrecursion.

Flavien Breuvart, Ugo Dal Lago, Agathe Herrou

Log. Methods Comput. Sci., 2021

2018

Relational Graph Models at Work.

Flavien Breuvart, Giulio Manzonetto, Domenico Ruoppolo

Log. Methods Comput. Sci., 2018

Refining Properties of Filter Models: Sensibility, Approximability and Reducibility.

Flavien Breuvart

CoRR, 2018

On the characterization of models of H* : The operational aspect.

Flavien Breuvart

CoRR, 2018

On Intersection Types and Probabilistic Lambda Calculi.

Flavien Breuvart, Ugo Dal Lago

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017

On Higher-Order Probabilistic Subrecursion (Long Version).

Flavien Breuvart, Ugo Dal Lago, Agathe Herrou

CoRR, 2017

2016

On the characterization of models of H*: The semantical aspect.

Flavien Breuvart

Log. Methods Comput. Sci., 2016

New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable.

Flavien Breuvart, Giulio Manzonetto, Andrew Polonsky, Domenico Ruoppolo

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Combining effects and coeffects via grading.

Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Modelling Coeffects in the Relational Semantics of Linear Logic.

Flavien Breuvart, Michele Pagani

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

On the characterization of models of <i>H</i>.

Flavien Breuvart

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

The Resource Lambda Calculus Is Short-Sighted in Its Relational Model.

Flavien Breuvart

Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

2012

On the discriminating power of tests in resource lambda-calculus

Flavien Breuvart

CoRR, 2012