Flavien Breuvart

Available identifiers

zbMath Open breuvart.flavienMaRDI QIDQ2804202

List of research outcomes

Publication	Date of Publication	Type
Unifying graded linear logic and differential operators	2024-10-21	Paper
Canonical Gradings of Monads	2024-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q5028447	2022-02-09	Paper
Reflection on the enrichment of double categories	2021-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4580329	2018-08-15	Paper
On the characterization of models of H	2018-04-23	Paper
New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable.	2017-10-17	Paper
Modelling Coeffects in the Relational Semantics of Linear Logic	2017-08-31	Paper
On Higher-Order Probabilistic Subrecursion	2017-05-19	Paper
Combining effects and coeffects via grading	2017-05-10	Paper
On the characterization of models of \(\mathcal H^\ast\): the semantical aspect	2016-04-28	Paper
The Resource Lambda Calculus Is Short-Sighted in Its Relational Model	2013-06-28	Paper

Research outcomes over time

This page was built for person: Flavien Breuvart