`Travelled to:`

1 × Austria

1 × Germany

1 × The Netherlands

`Collaborated with:`

∅ M.Pagani U.D.Lago

`Talks about:`

model (3) relat (2) probabilist (1) intersect (1) character (1) coeffect (1) calculus (1) resourc (1) calculi (1) semant (1)

## Person: Flavien Breuvart

### DBLP: Breuvart:Flavien

### Contributed to:

### Wrote 4 papers:

- CSL-2015-BreuvartP #linear #logic #modelling #relational #semantics
- Modelling Coeffects in the Relational Semantics of Linear Logic (FB, MP), pp. 567–581.
- LICS-CSL-2014-Breuvart #modelling #on the
- On the characterization of models of H (FB), p. 10.
- TLCA-2013-Breuvart #relational #λ-calculus
- The Resource λ Calculus Is Short-Sighted in Its Relational Model (FB), pp. 93–108.
- PPDP-2018-BreuvartL #on the #probability #λ-calculus
- On Intersection Types and Probabilistic Lambda Calculi (FB, UDL), p. 13.