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:
2015
2014
2013
2018Wrote 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.