`Travelled to:`

1 × Brazil

1 × Canada

1 × Cyprus

1 × Germany

1 × Hungary

1 × Italy

1 × Serbia

3 × USA

`Collaborated with:`

C.Tasson T.Ehrhard ∅ G.Manzonetto F.Breuvart S.R.D.Rocca P.Selinger B.Valiron P.Boudes F.He A.Brunel D.Mazza J.Laird G.McCusker

`Talks about:`

probabilist (4) linear (4) calculus (3) taylor (3) expans (3) model (3) logic (3) coher (3) theorem (2) resourc (2)

## Person: Michele Pagani

### DBLP: Pagani:Michele

### Contributed to:

### Wrote 13 papers:

- CSL-2015-BreuvartP #linear #logic #modelling #relational #semantics
- Modelling Coeffects in the Relational Semantics of Linear Logic (FB, MP), pp. 567–581.
- POPL-2014-EhrhardTP #probability
- Probabilistic coherence spaces are fully abstract for probabilistic PCF (TE, CT, MP), pp. 309–320.
- POPL-2014-PaganiSV #higher-order #quantum #semantics
- Applying quantitative semantics to higher-order quantum computing (MP, PS, BV), pp. 647–658.
- CSL-2013-BoudesHP
- A characterization of the Taylor expansion of λ-terms (PB, FH, MP), pp. 101–115.
- LICS-2013-LairdMMP #modelling #relational #λ-calculus
- Weighted Relational Models of Typed λ-Calculi (JL, GM, GM, MP), pp. 301–310.
- LICS-2011-EhrhardPT #probability
- The Computational Meaning of Probabilistic Coherence Spaces (TE, MP, CT), pp. 87–96.
- TLCA-2011-ManzonettoP #theorem #λ-calculus
- Böhm’s Theorem for Resource λ Calculus through Taylor Expansion (GM, MP), pp. 153–168.
- FoSSaCS-2010-PaganiR #λ-calculus
- Solvability in Resource λ-Calculus (MP, SRDR), pp. 358–373.
- LICS-2009-PaganiT #linear #logic #problem
- The Inverse Taylor Expansion Problem in Linear Logic (MP, CT), pp. 222–231.
- TLCA-2009-Pagani #difference #theorem
- The Cut-Elimination Theorem for Differential Nets with Promotion (MP), pp. 219–233.
- CSL-2006-Pagani #exponential #linear #logic #multi
- Acyclicity and Coherence in Multiplicative Exponential Linear Logic (MP), pp. 531–545.
- POPL-2018-EhrhardPT #higher-order #probability #programming
- Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming (TE, MP, CT), p. 28.
- POPL-2020-BrunelMP #linear #λ-calculus
- Backpropagation in the simply typed lambda-calculus with linear negation (AB, DM, MP), p. 27.