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 × France
1 × Serbia
Collaborated with:
D.Mazza O.Hermant C.Houtmann M.Pagani M.Gaboardi S.Zdancewic
Talks about:
calculus (2) backpropag (1) orthogon (1) coeffect (1) quantit (1) boolean (1) algebra (1) simpli (1) modulo (1) linear (1)

Person: Aloïs Brunel

DBLP DBLP: Brunel:Alo=iuml=s

Contributed to:

ESOP 20142014
TLCA 20112011
POPL 20202020

Wrote 3 papers:

ESOP-2014-BrunelGMZ #calculus
A Core Quantitative Coeffect Calculus (AB, MG, DM, SZ), pp. 351–370.
TLCA-2011-BrunelHH #algebra #deduction #orthogonal
Orthogonality and Boolean Algebras for Deduction Modulo (AB, OH, CH), pp. 76–90.
POPL-2020-BrunelMP #linear #λ-calculus
Backpropagation in the simply typed lambda-calculus with linear negation (AB, DM, MP), p. 27.

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.