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 × 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 DBLP: Pagani:Michele

Contributed to:

CSL 20152015
POPL 20142014
CSL 20132013
LICS 20132013
LICS 20112011
TLCA 20112011
FOSSACS 20102010
LICS 20092009
TLCA 20092009
CSL 20062006
POPL 20182018
POPL 20202020

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

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.