Search:

View  Edit  Attributes  History  Attach  Print 
Coquas / Pubs

edit SideBar

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}
}
↑ Top  View  Edit  Attributes  History  Attach  Print 
This page was last modified on November 21, 2016, at 04:10 PM