`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:

### 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.