2 citations · 2 across the 2 of their papers we have counts for
3 papers
math.CT2026
On the Centre of Strong Graded Monads
Flavien Breuvart, Quan Long, Vladimir Zamdzhiev
We introduce the notion of 'centre' for pomonoid-graded strong monads which generalizes some previous work that describes the centre of (not graded) strong monads. We show that, wh…
cs.LO2026★ 2 cited
Unifying Graded Linear Logic and Differential Operators
Flavien Breuvart, Marie Kerjean, Simon Mirwasser
Linear Logic refines Intuitionnistic Logic by taking into account the resources used during the proof and program computation. In the past decades, it has been extended to various…
cs.LO2024
An Indexed Linear Logic for Idempotent Intersection Types (Long version)
Flavien Breuvart, Federico Olimpieri
Indexed Linear Logic has been introduced by Ehrhard and Bucciarelli, it can be seen as a logical presentation of non-idempotent intersection types extended through the relational s…