Journal.bib
@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{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}
}
@Unpublished{PagTra09MSCS,
Author = {Pagani, Michele and Tranquilli, Paolo},
Title = {The Conservation Theorem for Differential Nets},
Note = {to appear in MSCS},
Year = {2011}
}
@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/}
}