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: Brunel:Alo=iuml=s
Contributed to:
2014
2011
2020Wrote 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.