Journal.bib
@article{10.1145/3164540,
author = {Ehrhard, Thomas and Pagani, Michele and Tasson,
Christine},
title = {Full Abstraction for Probabilistic PCF}, year = {2018},
issue_date = {August 2018},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {65},
number = {4},
issn = {0004-5411},
url = {https://doi.org/10.1145/3164540},
doi = {10.1145/3164540},
journal = {J. ACM},
month = apr,
articleno = {23},
numpages = {44}
}
@article{lmcs:6638
TITLE = {{Revisiting Call-by-value Boehm trees in light of their Taylor expansion}},
AUTHOR = {Kerinec, Emma and Manzonetto, Giulio and Pagani, Michele},
URL = {https://lmcs.episciences.org/6638},
DOI = {},
JOURNAL = {{Logical Methods in Computer Science}},
VOLUME = {{Volume 16, Issue 3}},
YEAR = {2020},
MONTH = Jul,
KEYWORDS = {Computer Science - Logic in Computer Science},
}
@article{PagTra17MSCS,
Author = {Pagani, Michele and Tranquilli, Paolo},
Title = {The Conservation Theorem for Differential Nets},
journal = {Mathematical Structures in Computer Science},
volume = {27},
number = {6},
year = {2017},
pages = {939--992},
ee = {https://doi.org/10.1017/S0960129515000456}
@article{Pag08,
author = {Michele Pagani},
title = {Visible acyclic differential nets, Part I: Semantics},
journal = {Ann. Pure Appl. Logic},
volume = {163},
number = {3},
year = {2012},
pages = {238-265},
ee = {http://dx.doi.org/10.1016/j.apal.2011.09.001}
}
@article{CarPagTor09tcs,
author = {de Carvalho, Daniel and Pagani, Michele and Tortora de Falco, Lorenzo},
title = {A Semantic Measure of the Execution Time in Linear Logic},
journal = {Theorical Computer Science, Special issue Girard's Festschrift},
volume = {412},
number = {20},
year = {2011},
pages = {1884-1902},
ee = {http://dx.doi.org/10.1016/j.tcs.2010.12.017}
}
@article{PagRon10,
author = {Michele Pagani and Simona Ronchi Della Rocca},
title = {Linearity, Non-determinism and Solvability},
journal = {Fundamenta Informaticae},
volume = {103},
number = {1-4},
year = {2010},
pages = {173-202},
ee = {http://dx.doi.org/10.3233/FI-2010-324}
}
@article{PagTor10tcs,
Author = {Michele Pagani and Tortora de Falco, Lorenzo},
Title = {Strong {N}ormalization {P}roperty for {S}econd {O}rder {L}inear {L}ogic},
Journal = {Theoretical Computer Science},
Volume = {411},
Number = {2},
Pages = {410--444},
Year = {2010},
Ee = {http://dx.doi.org/10.1016/j.tcs.2009.07.053}
}
@article{Pag07mscs,
Author = {Michele Pagani},
Title = {Proofs, {D}enotational {S}emantics and {O}bservational {E}quivalences in {M}ultiplicative {L}inear {L}ogic},
Journal = {Mathematical Structures in Computer Science},
Volume = {17},
Number = {2},
Year = {2007},
Pages = {341--359},
Ee = {http://dx.doi.org/10.1017/S0960129506005652}
}
Conference.bib
@inproceedings{Pagani23FSCD,
author = {Thomas Ehrhard, Claudia Faggian and
Michele Pagani},
title = {The Sum-Product Algorithm for Quantitative Multiplicative Linear Logic.},
booktitle = {{FSCD} '23: 8th International Conference on Formal Structures for Computation and Deduction
, Roma, Italy, July 3-6, 2023},
editor = {Marco Gaboardi and Femke van Raamsdonk},
publisher = {{LIPICS}},
year = {2023}
}
@inproceedings{CurziP20,
author = {Gianluca Curzi and
Michele Pagani},
title = {The Benefit of Being Non-Lazy in Probabilistic {\(\lambda\)}-calculus:
Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic
Call-by-Name},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
publisher = {{ACM}},
pages = {327--340},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394806},
doi = {10.1145/3373718.3394806},
}
@article{EhrhardPT18,
author = {Thomas Ehrhard and
Michele Pagani and
Christine Tasson},
title = {Measurable cones and stable, measurable functions: a model for probabilistic
higher-order programming},
journal = {{PACMPL}},
volume = {2},
number = {{POPL}},
pages = {59:1--59:28},
year = {2018},
url = {http://doi.acm.org/10.1145/3158147},
doi = {10.1145/3158147}
}
@InProceedings{CruEhrPagTas17,
author = {Crubill\'e, Raphaelle and Ehrhard, Thomas and Pagani, Michele and Tasson, Christine},
title = {{The Free Exponential Modality of Probabilistic
Coherence Spaces}},
booktitle = {Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017},
publisher = {ARCoSS},
editor = {Esperanza, J. and Murawski, A.},
year = {2017}
}
@InProceedings{PagTasVau16,
author = {Pagani, Michele and Tasson, Christine and Vaux, Lionel},
title = {{Strong Normalizability as a Finiteness Structure via the Taylor Expansion of lambda-terms}},
booktitle = {Proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016,Eindhoven, The Netherlands},
publisher = {ARCoSS},
editor = {Jacobs, B. and Lodig C.},
year = {2016}
}
@InProceedings{BrePag15,
author = {Breuvart, Flavien and Pagani, Michele},
title = {{Modelling Coeffects in the Relational Semantics of Linear Logic}},
booktitle = {Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, CSL15, Berlin, Germany},
publisher = {LIPICS},
editor = {Kreutzer, S.},
year = {2015}
}
@InProceedings{PagSelVal14,
author = {Pagani, Michele and Selinger, Peter and Valiron, Benoit},
title = {Applying {Q}uantitative {S}emantics to {H}igher-{O}rder {Q}uantum {C}omputing},
booktitle = {The 41th Annual ACM SIGPLAN-SIGACT Symposium on Principles
of Programming Languages, POPL14, San Diego, USA},
publisher = {ACM},
editor = {Sewell, P.},
ee = {http://dx.doi.org/10.1145/2535838.2535879},
year = {2014}
}
@InProceedings{EhrPagTas14,
author = {Ehrhard, Thomas and Pagani, Michele and Tasson, Christine},
title = {Probabilistic {C}oherence {S}paces are {F}ully {A}bstract for {P}robabilistic {P}{C}{F}},
booktitle = {The 41th Annual ACM SIGPLAN-SIGACT Symposium on Principles
of Programming Languages, POPL14, San Diego, USA},
publisher = {ACM},
editor = {Sewell, P.},
ee = {http://dx.doi.org/10.1145/2535838.2535865},
year = {2014}
}
@inproceedings{BoudHePag,
author = {Pierre Boudes and
Fanny He and
Michele Pagani},
title = {A characterization of the Taylor expansion of lambda-terms},
booktitle = {Proceedings of the 22nd EACSL Annual Conference Computer Science Logic
CSL 2013, September 2-5, 2013, Torino, Italy},
year = {2013}
}
@InProceedings{LairdMMP13,
author = "J. Laird and G. Manzonetto and G. McCusker and M. Pagani",
title = "Weighted relational models of typed lambda-calculi",
booktitle = "28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), 25-28 June 2013, New Orleans, USA, Proceedings",
pages = "301--310",
year = "2013",
}
@inproceedings{DiaManPag13,
Author = {Diaz-Caro, Alejandro and Manzonetto, Giulio and Pagani, Michele},
Title = {Call-by-Value Non-determinism in a Linear Logic Type Discipline},
BookTitle = {Logical Foundations of Computer Science (LFCS 2013)},
Editor = {Artemov, Sergei and Nerode, Anil},
Year = {2013},
Publisher = {Springer},
Series = {Lecture Notes in Comput. Sci.},
Volume = {7734},
isbn = {978-3-642-35721-3},
ee = {http://dx.doi.org/10.1007/978-3-642-35722-0_12}
}
@inproceedings{ManPag11,
Author = {Manzonetto, Giulio and Pagani, Michele},
Title = {Bohm's {T}heorem for {R}esource {L}ambda-{C}alculus through {T}aylor {E}xpansion},
BookTitle = {Typed Lambda Calculi and Applications - 10th International Conference (TLCA 2011)},
Editor = {Luke Ong},
Year = {2011},
Publisher = {Springer},
Series = {Lecture Notes in Comput. Sci.},
Volume = {6690},
isbn = {978-3-642-21690-9},
ee = {http://dx.doi.org/10.1007/978-3-642-21691-6_14}
}
@inproceedings{EhrPagTas11,
Author = {Ehrhard, Thomas and Pagani, Michele and Tasson, Christine},
Title = {The {C}computational {M}eaning of {P}robabilistic {C}oherence {S}paces},
BookTitle = {Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)},
Editor = {Martin Grohe},
Series = {IEEE Computer Society Press},
Year = {2011},
pages = {87-96},
ee = {http://dx.doi.org/10.1109/LICS.2011.29}
}
@inproceedings{PagRon09,
Author = {Pagani, Michele and Ronchi Della Rocca, Simona},
Title = {Solvability in {R}esource {L}ambda-{C}alculus},
BookTitle = {Foundations of Software Science and Computational Structures, 13th International Conference (FOSSACS 2010)},
Editor = {Luke Ong},
Series = {Lecture Notes in Comput. Sci.},
Volume = {6014},
Pages = {358--373},
Year = {2010},
Ee = {http://dx.doi.org/10.1007/978-3-642-12032-9_25}
}
@inproceedings{PagTra09aplas,
Author = {Pagani, Michele and Tranquilli, Paolo},
Title = {Parallel {R}eduction in {R}esource {L}ambda-{C}alculus},
BookTitle = {Programming Languages and Systems, 7th Asian Symposium (APLAS 2009)},
Editor = {Zhenjiang Hu},
Series = {Lecture Notes in Comput. Sci.},
Volume = {5904},
Pages = {226--242},
Year = {2009},
Ee = {http://dx.doi.org/10.1007/978-3-642-10672-9_17}
}
@inproceedings{PagTas09lics,
Author = {Michele Pagani and Christine Tasson},
Title = {The {T}aylor {E}xpansion {I}nverse {P}roblem in {L}inear {L}ogic},
Booktitle = {Proceedings of the Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2009)},
Editor = {Andrew Pitts},
Pages = {222--231},
Location = {Los Angeles, California, USA},
Publisher = {IEEE Computer Society Press},
Year = {2009},
Ee = {http://dx.doi.org/10.1109/LICS.2009.35}
}
@inproceedings{Pag09tlca,
Author = {Michele Pagani},
Title = {The {C}ut-{E}limination {T}hereom for {D}ifferential {N}ets with {B}oxes},
Booktitle = {Proceedings of the Ninth International Conference on Typed Lambda Calculi and Applications (TLCA 2009)},
Editor = {Pierre-Louis Curien},
Series = {Lecture Notes in Computer Science},
Pages = {219--233},
Location = {Brasilia, Brazil},
Publisher = {Springer},
Year = {2009},
Ee = {http://dx.doi.org/10.1007/978-3-642-02273-9_17}
}
@inproceedings{MazPag07lpar,
Author = {Mazza, Damiano and Pagani, Michele},
Title = {The {S}eparation {T}heorem for {D}ifferential {I}nteraction {N}ets},
Booktitle = {Proceedings of the Ten-Foruth International Conference on Logic for Programming Artificial Intelligence and Reasoning Conference (LPAR 2007)},
Editor = {Nachum Dershowitz},
Series = {Lecture Notes in Artificial Intelligence},
Volume = {4790},
Publisher = {Springer},
Year = {2007},
Ee = {http://dx.doi.org/10.1007/978-3-540-75560-9_29}
}
@inproceedings{Pag06csl,
Author = {Michele Pagani},
Title = {Acyclicity and {C}oherence in {M}ultiplicative and {E}xponential {L}inear {L}ogic},
Booktitle = {Proceedings of the Twentieth International Workshop on Computer Science Logic},
Editor = {Pierre-Louis Curien},
Series = {Lecture Notes in Computer Science},
Pages = {531--545},
Volume = {4207},
Location = {Szeged, Hungary},
Publisher = {Springer},
Year = {2006},
Ee = {http://dx.doi.org/10.1007/11874683_35}
}
Other.bib
@phdthesis{Pag06phd,
Author = {Pagani, Michele},
School = {Univesit\`{a} Roma Tre, {U}niversit\'e {A}ix-{M}arseille~{II}},
Title = {Proof {N}ets and {C}liques: towards the {U}nderstanding of {A}nalytical {P}roofs},
Year = {2006}
}
@TechReport{PagSau08,
Author = {Michele Pagani and Alexis Saurin},
Title = {Stream {A}ssociative {N}ets and $\Lambda\mu$-calculus},
Institution = {INRIA},
Number = {6431},
Type = {Research Report},
Year = {2008},
Url = {http://hal.inria.fr/inria-00221221/fr/}
}