BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Breuvart:Flavien

Contributed to:

CSL 20152015
CSL-LICS 20142014
TLCA 20132013
PPDP 20182018

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.