2016:
@InProceedings{Mazza2016,
author = "Damiano Mazza",
title = "Church Meets Cook and Levin",
booktitle = "Proceedings of LICS",
pages = "827--836",
year = "2016"
}
@InProceedings{Mazza:LICS2016,
author = "Damiano Mazza",
title = "Church Meets Cook and Levin",
booktitle = "Proceedings of LICS",
pages = "827--836",
year = "2016"
}
@Inbook{SeillerAubert2016,
author="Aubert, Cl{\'e}ment and Bagnol, Marc and Seiller, Thomas",
editor="Jacobs, Bart and L{\"o}ding, Christof",
title="Unary Resolution: Characterizing Ptime",\\
bookTitle="Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, Proceedings",
year="2016",
publisher="Springer",
address="Berlin, Heidelberg",
pages="373--389",
isbn="978-3-662-49630-5"
}
@inproceedings{Seiller2016,
author = {Seiller, Thomas},
title = {Interaction Graphs: Full Linear Logic},
book title = {Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science},
series = {LICS '16},
year = {2016},
isbn = {978-1-4503-4391-6},
pages = {427--436},
publisher = {ACM},
address = {New York, NY, USA},
}
@inproceedings{GuerrieriPellissierTortora16,
author = "Guerrieri, Giulio and Pellissier, Luc and {Tortora de Falco}, Lorenzo",
title = "{Computing Connected Proof(-Structure)s From Their Taylor Expansion}",
booktitle = "{1st International Conference on Formal Structures for Computation and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal}",
editor = "Kesner, Delia and Pientka, Brigitte",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum für Informatik",
series = "{LIPIcs}",
doi = "10.4230/LIPIcs.FSCD.2016.20",
pages = "20:1--20:18",
isbn = "978-3-95977-010-1",
year = "2016"
}
@inproceedings{AccattoliGuerrieri16,
author = "Accattoli, Beniamino and Guerrieri, Giulio",
title = "{Open Call-by-Value}",
book title = "{Programming Languages and Systems - 14th Asian Symposium {APLAS} 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings}",
editor = "Igarashi, Atsushi",
series = "{Lecture Notes in Computer Science}",
volume = "10017",
pages = "206--226",
year = "2016"
doi = "10.1007/978-3-319-47958-3_12",
isbn = "978-3-319-47957-6"
}
@inproceedings{BreuvartMPR16,
author = {Flavien Breuvart and Giulio Manzonetto and Domenico Ruoppolo and Andrew Polonsky},
title = {New Results on {M}orris's Observational Theory: the benefits of separating the inseparable},
book title = {1st International Conference on Formal Structures for Computation and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
editor = {Delia Kesner and Brigitte Pientka},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
series = {LIPIcs},
volume = {52},
pages = {15:1--15:18},
year = {2016}
}
@inproceedings{SalibraMF16,
author = {Antonino Salibra and Giulio Manzonetto and Giordano Favro},
title = {Factor Varieties and Symbolic Computation},
book title = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {739--748},
year = {2016},
editor = {Martin Grohe and Eric Koskinen and Natarajan Shankar},
publisher = {{ACM}},
doi = {10.1145/2933575.2933600}
}
@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}
}
2015:
@inproceedings{BrPag,
author = {Flavien Breuvart and Michele Pagani},
title = {{Modelling Coeffects in the Relational Semantics of Linear Logic}},
booktitle = {Proceedings of the 24nd EACSL Annual Conference Computer Science Logic
CSL 2015, September 7-10, 2015, Berlin, Germany},
year = {2015}
}
@InProceedings{AccattoliBarenbaumMazza2015,
author = "Beniamino Accattoli and Pablo Barenbaum and Damiano Mazza",
title = "A Strong Distillery",
booktitle = "Proceedings of APLAS",
pages = "1--20",
year = "2015"
}
@InProceedings{Mazza:CSL2015,
author = "Damiano Mazza",
title = "Simple Parsimonious Types and Logarithmic Space",
booktitle = "Proceedings of CSL",
pages = "24--40",
year = "2015"
}
@InProceedings{MazzaPellissier2015,
author = "Damiano Mazza and Luc Pellissier",
title = "A Functorial Bridge between the Infinitary Affine Lambda-Calculus and Linear Logic",
booktitle = "Proceedings of ICTAC",
pages = "140-161",
year = "2015"
}
@InProceedings{MazzaTerui2015,
author = "Damiano Mazza and Kazushige Terui",
title = "Parsimonious Types and Non-uniform Computation",
book title = "Proceedings of ICALP, Part {II}",
editor = "Magn{\'{u}}s M. Halld{\'{o}}rsson and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "9135",
pages = "350--361",
year = "2015",
}
@article{KerjeanTasson15,
author = {Marie Kerjean and Christine Tasson},
title = {Mackey-complete spaces and power series - {A} topological model of Differential Linear Logic},
journal = {CoRR},
volume = {abs/1507.03262},
year = {2015},
url = {http://arxiv.org/abs/1507.03262},
note = {accepted at Mathematical Structures in Computer Science}
}
@inProceedings{Munch-Maccagnoni15,
author = {Munch-Maccagnoni, Guillaume and Scherer, Gabriel},
title = {{Polarised Intermediate Representation of Lambda Calculus with Sums}},
booktitle = {Annual IEEE Symposium on Logic in Computer Science, LICS 2015},
year = {2015},
}
2014:
@InProceedings{AccattoliBarenbaumMazza:ICFP2014,
author = "Beniamino Accattoli and Pablo Barenbaum and Damiano Mazza",
title = "Distilling Abstract Machines",
booktitle = "Proceedings of ICFP",
editor = "J.~Jeuring and M.~Chakravarty",
publisher = "ACM",
pages = "363--376",
year = "2014",
}
@inProceedings{Munch-Maccagnoni14,
author = {Guillaume Munch{-}Maccagnoni},
title = {Formulae-as-types for an involutive negation},
booktitle = {Annual IEEE Symposium on Logic in Computer Science, LICS 2014},
year = {2014},
url = {http://doi.acm.org/10.1145/2603088.2603156},
}
@inProceedings{Breuvart14,
author = "Flavien Breuvart",
title = "On the characterisation of models of H*",
booktitle = "Annual IEEE Symposium on Logic in Computer Science, LICS 2014",
note = "prix Kleene best student paper",
ee = "http://doi.acm.org/10.1145/2603088.2603111",
publisher = {{ACM}},
year = {2014},
}
@InProceedings{Mazza:ICALP2014,
author = "Damiano Mazza",
title = "Non-uniform Polytime Computation in the Infinitary Affine Lambda-calculus",
booktitle = "Proceedings of ICALP",
editor = "Javier Esparza and Pierre Fraigniaud and Thore Husfeldt and Elias Koutsoupias",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "8573",
pages = "305--317",
year = "2014",
}
@InProceedings{BrunelGaboardiMazzaZdancewic:BoundedExp,
author = "Alo\"\i s Brunel and Marco Gaboardi and Damiano Mazza and Steve Zdancewic",
title = "A Core Quantitative Coeffect Calculus",
booktitle = "Proceedings of ESOP",
editor = "Z.~Shao",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "8410",
pages = "351-370",
year = "2014",
}
@article{ManzonettoR14,
author = {Giulio Manzonetto and Domenico Ruoppolo},
title = {Relational Graph Models, Taylor Expansion and Extensionality},
journal = {Electr. Notes Theor. Comput. Sci.},
volume = {308},
pages = {245--272},
url = {http://dx.doi.org/10.1016/j.entcs.2014.10.014},
year = {2014}
}
@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}
}
2013:
@inproceedings{lics2013,
author = {Jim Laird and
Guy McCusker and
Giulio Manzonetto and
Michele Pagani},
title = {Weighted Relational Models of Typed Lambda-Calculi},
booktitle = {Proceedings of the 28th Annual IEEE Symposium on Logic in
Computer Science, LICS 2013, June 25-28, 2013, New Orleans, USA},
year = {2013}
}
@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}
}