Giulio Guerrieri : Publications

Click here to download all publications in a single bibtex file

@inproceedings{DBLP:conf/rta/GuerrieriPF16,
  title = "Computing Connected Proof(-Structure)s From Their Taylor Expansion",
  author = "Giulio Guerrieri and Luc Pellissier and Lorenzo Tortora de Falco",
  year = "2016",
  booktitle = "1st International Conference on Formal Structures for Computation and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal",
  editor = "Delia Kesner and Brigitte Pientka",
  isbn = "978-3-95977-010-1",
  pages = "20:1--20:18",
  publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
  series = "LIPIcs",
  url = "http://www.dagstuhl.de/dagpub/978-3-95977-010-1",
  volume = "52",
  doi = "10.4230/LIPIcs.FSCD.2016.20",
}

@inproceedings{DBLP:conf/ppdp/EhrhardG16,
  title = "The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value",
  author = "Thomas Ehrhard and Giulio Guerrieri",
  year = "2016",
  booktitle = "Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016",
  editor = "James Cheney and Germ{\'{a}}n Vidal",
  isbn = "978-1-4503-4148-6",
  pages = "174--187",
  publisher = "{ACM}",
  url = "http://doi.acm.org/10.1145/2967973",
  doi = "10.1145/2967973",
}

@inproceedings{DBLP:conf/aplas/AccattoliG16,
  title = "Open Call-by-Value",
  author = "Beniamino Accattoli and Giulio Guerrieri",
  year = "2016",
  booktitle = "Programming Languages and Systems - 14th Asian Symposium, {APLAS} 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings",
  editor = "Atsushi Igarashi",
  isbn = "978-3-319-47957-6",
  pages = "206--226",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-319-47958-3",
  volume = "10017",
  doi = "10.1007/978-3-319-47958-3",
}

@inproceedings{DBLP:conf/tlca/GuerrieriPR15,
  title = "Standardization of a Call-By-Value Lambda-Calculus",
  author = "Giulio Guerrieri and Luca Paolini and Simona Ronchi Della Rocca",
  year = "2015",
  booktitle = "13th International Conference on Typed Lambda Calculi and Applications, {TLCA} 2015, July 1-3, 2015, Warsaw, Poland",
  editor = "Thorsten Altenkirch",
  isbn = "978-3-939897-87-3",
  pages = "211--225",
  publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
  series = "LIPIcs",
  url = "http://www.dagstuhl.de/dagpub/978-3-939897-87-3",
  volume = "38",
  doi = "10.4230/LIPIcs.TLCA.2015.211",
}

@inproceedings{DBLP:conf/rta/Guerrieri15,
  title = "Head reduction and normalization in a call-by-value lambda-calculus",
  author = "Giulio Guerrieri",
  year = "2015",
  booktitle = "2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, {WPTE} 2015, July 2, 2015, Warsaw, Poland",
  editor = "Yuki Chiba and Santiago Escobar and Naoki Nishida and David Sabel and Manfred Schmidt{-}Schau{\ss}",
  isbn = "978-3-939897-94-1",
  pages = "3--17",
  publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
  series = "{OASICS}",
  url = "http://www.dagstuhl.de/dagpub/978-3-939897-94-1",
  volume = "46",
  doi = "10.4230/OASIcs.WPTE.2015.3",
}

@inproceedings{DBLP:conf/fossacs/CarraroG14,
  title = "A Semantical and Operational Account of Call-by-Value Solvability",
  author = "Alberto Carraro and Giulio Guerrieri",
  year = "2014",
  booktitle = "Foundations of Software Science and Computation Structures - 17th International Conference, {FOSSACS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings",
  editor = "Anca Muscholl",
  isbn = "978-3-642-54829-1",
  pages = "103--118",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-54830-7",
  volume = "8412",
  doi = "10.1007/978-3-642-54830-7",
}