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:
2015
20142013
20132011
2011
201020092009200620182020Wrote 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.