Journal.bib
@article{ManzonettoS08J,
author = "Giulio Manzonetto and Antonino Salibra",
title = "Applying Universal Algebra to Lambda Calculus",
journal = "Journal of Logic and Computation",
volume = "20",
number = "4",
pages = "877-915",
year = "2010",
}
@article{BerlineMS09,
author = "Chantal Berline and Giulio Manzonetto and Antonino Salibra",
title = "Effective Lambda Models Versus Recursively Enumerable Lambda Theories",
journal = "Mathematical Structures in Computer Science",
Volume = "19",
number = "5",
month = "October",
pages = "897-942",
year = "2009",
}
@article{ManzonettoT10j,
author = "Giulio Manzonetto and Paolo Tranquilli",
title = "Strong Normalization of {ML\textsuperscript{F}} via a Calculus of Coercions",
journal = "Theoretical Computer Science",
volume = "417",
number = "C",
pages = "74-94",
doi = "10.1016/j.tcs.2011.05.051",
year = "2012",
}
@article{Manzonetto12,
author = "Giulio Manzonetto",
title = "What is a Categorical Model of the Differential and the Resource $\lambda$-Calculi?",
journal = "Mathematical Structures in Computer Science",
volume = "22",
number = "3",
pages = "451-520",
year = "2012",
}
@article{BucciarelliEM12,
author = "Antonio Bucciarelli and Thomas Ehrhard and Giulio Manzonetto",
title = "A Relational Semantics for Parallelism and Non-Determinism in a Functional Setting",
journal = "Annals of Pure and Applied Logic",
volume = "163",
number = "7",
pages = "918-934",
year = "2012",
}
@article{LairdMM13,
author = "Jim Laird and Giulio Manzonetto and Guy McCusker",
title = "Constructing Differential Categories and Deconstructing Categories of Games",
journal = "Information and Computation",
volume = "222",
number = "C",
pages = "247-264",
year = "2013",
}
@article{BucciarelliCEM12,
author = "Antonio Bucciarelli and Alberto Carraro and Thomas Ehrhard and Giulio Manzonetto",
title = "Full Abstraction for the Resource Lambda Calculus with Tests, through {T}aylor Expansion",
journal = "Logical Methods in Computer Science",
volume = "8",
number = "4",
pages = "1-44",
year = "2012",
}
@article{BreuvartMR18,
author = {Flavien Breuvart and
Giulio Manzonetto and
Domenico Ruoppolo},
title = {Relational Graph Models at Work},
journal = {Logical Methods in Computer Science},
volume = {14},
number = {3},
year = {2018},
}
@article{ManzonettoPR19,
author = "Giulio Manzonetto and Michele Pagani and Simona {Ronchi Della Rocca}",
title = "New Semantical Insights Into Call-by-Value $\lambda$-Calculus",
journal = "Fundam. Inform.",
volume = "170",
number = "1-3",
pages = "241--265",
year = "2019",
doi = "10.3233/FI-2019-1862",
}
@article{IntrigilaMP19,
author = "Benedetto Intrigila and Giulio Manzonetto and Andrew Polonsky",
title = "Degrees of extensionality in the theory of {B}\"ohm trees and Sall{\'{e}}'s conjecture",
journal = "Logical Methods in Computer Science",
volume = "15",
number = "1",
url = "https://lmcs.episciences.org/5133",
year = "2019",
}
@article{ManzonettoPSS19,
author = "Giulio Manzonetto and
Andrew Polonsky and
Alexis Saurin and
Jakob Grue Simonsen",
title = "The fixed point property and a technique to harness double fixed point
combinators",
journal = "J. Log. Comput.",
volume = "29",
number = "5",
pages = "831--880",
year = "2019",
doi = "10.1093/logcom/exz013",
}
@article{BarbarossaM20,
author = "Davide Barbarossa and Giulio Manzonetto",
title = "Taylor Subsumes Scott, Berry, Kahn and Plotkin",
journal = "{PACMPL}",
volume = "4",
number = "{POPL}",
pages = "1:1--1:23",
year = "2020",
url = "https://doi.org/10.1145/3371069",
doi = "10.1145/3371069",
}
@author{KerinecMP20,
author = "Emma Kerinec and Giulio Manzonetto and Michele Pagani",
title = "Revisiting call-by-value {B}\"ohm trees in light of their {T}aylor expansion",
journal = "Logical Methods in Computer Science",
volume = "Volume 16, Issue 3",
year = "2020",
}
@article{DellaPennaIM22,
author = "Giuseppe {Della Penna} and Benedetto Intrigila and Giulio Manzonetto",
title = "Addressing Machines as models of lambda-calculus",
journal = "Log. Methods Comp. Sci",
volume = "18",
number = "3",
year = "2022"
}
@article{KerinecMO23,
author = "Axel Kerinec and Giulio Manzonetto and Federico Olimpieri",
title = "Why are proofs relevant in proof-relevant models?",
journal = "{PACMPL}",
volume = "7",
number = "{POPL}",
pages = "8:1--8:31",
year = "2023",
url = "https://doi.org/10.1145/3571201",
doi = "10.1145/3571201",
}
@article{AccattoliLMV25,
author = "Beniamino Accattoli and Adrienne Lancelot and Giulio Manzonetto and Gabriele Vanoni",
title = "Interaction equivalence",
journal = "{PACMPL}",
volume = "9",
number = "{POPL}",
pages = "TBA",
year = "2025",
}
Conference.bib
@inproceedings{ManzonettoS06,
author = "Giulio Manzonetto and Antonino Salibra",
title = "Boolean Algebras for Lambda Calculus",
booktitle = "LICS'06: Proceedings of the 21\textsuperscript{st} Annual IEEE Symposium on Logic in Computer Science",
isbn = "0-7695-2631-4",
pages = "317--326",
year = "2006",
}
@inproceedings{BerlineMS07,
author = "Chantal Berline and Giulio Manzonetto and Antonino Salibra",
title = "Lambda theories of effective lambda models",
booktitle = "CSL'07: Proceedings of 16\textsuperscript{th} Computer Science Logic",
editor = "Jacques Duparc and Thomas A. Henzinger",
volume = "4646",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "298-312",
year = "2007",
}
@inproceedings{BucciarelliEM07,
author = "Antonio Bucciarelli and Thomas Ehrhard and Giulio Manzonetto",
title = "Not Enough Points Is Enough",
booktitle = "CSL'07: Proceedings of 16\textsuperscript{th} Computer Science Logic",
editor = "Jacques Duparc and Thomas A. Henzinger",
volume = "4646",
series = "Lecture Notes in Computer Science",
pages = "268-282",
publisher = "Springer",
year = "2007",
}
@inproceedings{ManzonettoS08C,
author = "Giulio Manzonetto and Antonino Salibra",
title = "From Lambda Calculus to Universal Algebra and Back",
booktitle = "Mathematical Foundations of Computer Science 2008 (MFCS'08)",
series = "Lecture Notes in Computer Science",
volume = "5162",
pages = "479-490",
publisher = "Springer",
year = "2008",
}
@inproceedings{BucciarelliEM09,
author = "Antonio Bucciarelli and Thomas Ehrhard and Giulio Manzonetto",
title = "A relational model of a parallel and non-deterministic lambda-calculus",
editor = "Sergei N. Art{\"e}mov and Anil Nerode",
booktitle = "Logical Foundations of Computer Science, International Symposium, LFCS 2009",
series = "Lecture Notes in Computer Science",
volume = "5407",
pages = "107-121",
year = "2009",
}
@inproceedings{ManzonettoS09,
author = "Giulio Manzonetto and Antonino Salibra",
title = "Lattices of Equational Theories as {C}hurch Algebras",
booktitle = "Proc. 7\textsuperscript{th} Panhellenic Logic Symposium",
editor = "C. Drossos and P. Peppas and C. Tsinakis",
publisher = "Patras University Press",
pages = "117-121",
year = "2009",
}
@inproceedings{Manzonetto09,
author = "Giulio Manzonetto",
title = "A general class of models of $\mathcal{H}^{\star}$",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
volume = "5734",
pages = "574-586",
booktitle = "Mathematical Foundations of Computer Science (MFCS'09)",
year = "2009",
}
@inproceedings{BucciarelliEM10,
author = "Antonio Bucciarelli and Thomas Ehrhard and Giulio Manzonetto",
title = "Categorical Models for Simply Typed Resource Calculi",
note = "MFPS'10: 26\textsuperscript{th} Conference on the Mathematical Foundations of Programming Semantics",
volume = "265",
series = "Electronic Notes in Theoretical Computer Science",
pages = "213-230",
year = "2010",
}
@inproceedings{ManzonettoT10,
author = "Giulio Manzonetto and Paolo Tranquilli",
title = "Harnessing {ML\textsuperscript{F}} with the power of {System F}",
booktitle = "Mathematical Foundations of Computer Science 2010",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "6281",
pages = "525-536",
year = "2010",
}
@inproceedings{ManzonettoP11,
author = "Giulio Manzonetto and Michele Pagani",
title = "B{\"o}hm Theorem for Resource Lambda Calculus through {T}aylor Expansion",
editor = "C.-H. Luke Ong",
title = "Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011",
series = "Lecture Notes in Computer Science",
volume = "6690",
pages = "153--168",
year = "2011",
}
@inproceedings{LairdMM11,
author = "Jim Laird and Giulio Manzonetto and Guy McCusker",
title = "Constructing Differential Categories and Deconstructing Categories of Games",
booktitle = "Automata, Languages and Programming - 38th International
Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011,
Proceedings, Part II",
editor = "Luca Aceto and Monika Henzinger and Jiri Sgall",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
isbn = "978-3-642-22011-1",
volume = "6756",
year = "2011",
pages = "186-197",
}
@InProceedings{BucciarelliCEM11,
author = "Antonio Bucciarelli and Alberto Carraro and Thomas Ehrhard and Giulio Manzonetto",
title = "Full Abstraction for Resource Calculus with Tests",
booktitle = "Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL",
pages = "97--111",
series = "Leibniz International Proceedings in Informatics (LIPIcs)",
volume = "12",
editor = "Marc Bezem",
publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
address = "Dagstuhl, Germany",
year = "2011",
}
@InProceedings{SalvatiMGB12,
author = {Sylvain Salvati and Giulio Manzonetto and Mai Gehrke and Henk Barendregt},
title = {{L}oader and {U}rzyczyn are logically related},
booktitle = {Automata, Languages and Programming - 39th International Colloquium (ICALP 2012), Proceedings, Part II},
editors = {A. Czumaj et al.},
publisher = {Springer},
volume = {7392},
series = {Lecture Notes in Computer Science},
pages = {364--376},
year = {2012},
}
@InProceedings{DiazCaroMP13,
author = "Alejandro D\'{i}az-Caro and Giulio Manzonetto and Michele Pagani",
title = "Call-By-Value Non-Determinism in a Linear Logic Type Discipline",
booktitle = "Symposium on Logical Foundations of Computer Science (LFCS'13)",
series = "Lecture Notes in Computer Science",
volume = "7734",
pages = "164-178",
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",
}
@article{ManzonettoR14,
author = "Giulio Manzonetto and Domenico Ruoppolo",
title = "Relational Graph Models, {T}aylor Expansion and Extensionality",
journal = "Electr. Notes Theor. Comput. Sci.",
volume = "308",
pages = "245--272",
year = "2014",
}
@misc{SalibraMF16,
author = "Antonino Salibra and Giulio Manzonetto and Giordano Favro",
title = "Factor Varieties and Symbolic Computation",
booktitle = "Proc. of LICS'16, New York",
pages = "738-747",
year = "2016",
}
@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",
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",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
series = "LIPIcs",
volume = "52",
pages = "15:1--15:18",
year = "2016",
}
@inproceedings{IntrigilaMP17,
author = "Benedetto Intrigila and Giulio Manzonetto and Andrew Polonsky",
title = "Refutation of {S}all\'e's Longstanding Conjecture",
editor = "Dale Miller},
booktitle = "2nd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}",
volume = "84",
pages = "20:1--20:18",
booktitle = "2nd International Conference on Formal Structures for Computation and Deduction, {FSCD} 2017",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
series = "LIPIcs",
year = "2017",
}
@InProceedings{GuerrieriM19,
author = "Giulio Guerrieri and Giulio Manzonetto",
title = "The Bang Calculus and the Two {G}irard's Translations (Extended abstract)",
booktitle = "Electronic Proceedings in Theoretical Computer Science",
volume = "292",
pages = "15--30",
year = "2019",
}
@InProceedings{KerinecMR21,
author = {Kerinec, Axel and Manzonetto, Giulio and Ronchi Della Rocca, Simona},
title = {{Call-By-Value, Again!}},
booktitle = {6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)},
pages = {7:1--7:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
year = {2021},
volume = {195},
editor = {Kobayashi, Naoki},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
}
@misc{IntrigilaMM22,
author = "Benedetto Intrigila and Giulio Manzonetto and Nicolas
M{\"u}nnich",
editor = {J. Hsu and C. Tasson},
title = "Extended addressing machines for {PCF}, with explicit substitutions",
journal = "{Electronic Notes in Theoretical Informatics and Computer Science}",
volume = "{1 - Proceedings of MFPS XXXVIII}",
year = "2023"
}
Workshop.bib
@inproceedings{ManzonettoT10w,
author = "Giulio Manzonetto and Paolo Tranquilli",
title = "A Calculus of Coercions Proving the Strong Normalization of {ML\textsuperscript{F}}",
booktitle = "Proc.\ of 5\textsuperscript{th} International Workshop on Higher-Order Rewriting",
pages = "17-21",
year = "2010",
}
@inProceedings{ManzonettoR14w,
author = "Giulio Manzonetto and Domenico Ruoppolo",
title = "Semantic and Syntactic Characterizations of Morris's equivalence",
booktitle = "International workshop on domain theory and applications, Domains XI, Universit\'e Paris-Diderot, Paris, France",
year = "2014",
}
@inProceedings{ManzonettoP16w,
author = "Giulio Manzonetto and Andrew Polonsky",
title = "On Unification of lambda terms",
booktitle = "22\textsuperscript{nd} International Conference on Types for Proofs and Programs, TYPES",
year = "2016",
}
@inProceedings{GuerrieriM18w,
author = "Giulio Guerrieri and Giulio Manzonetto",
title = "The Bang Calculus and the Two {G}irard's Translations",
booktitle = "Linearity/TLLA 2018",
year = "2018",
}
@inProceedings{GuerrieriM18w,
author = "BarbarossaM19",
title = "About the Power of {T}aylor expansion",
booktitle = "TLLA 2019",
year = "2019",
}
Invited.bib
@InCollection{BarendregtM13,
author = "Henk P. Barendregt and Giulio Manzonetto",
title = "Turing's contributions to lambda calculus",
booktitle = "Alan Turing - His Work and Impact",
publisher = "Elsevier",
editor = "B. Cooper and J. van~Leeuwen",
pages = "139-143",
year = "2013",
}
@InCollection{BarendregtMP13,
author = "Henk P. Barendregt and Giulio Manzonetto and Marinus J. Plasmeijer",
title = "The Imperative and Functional Programming Paradigm",
booktitle = "Alan Turing - His Work and Impact",
publisher = "Elsevier",
editor = "B. Cooper and J. van~Leeuwen",
pages = "121-126",
year = "2013",
}
Thesis.bib
@PhdThesis{ManzonettoTh,
author = "Giulio Manzonetto",
title = "Models and theories of lambda calculus",
school = "Univ. Ca'Foscari (Venice) and Univ. Paris Diderot (Paris 7)",
year = "2008",
}
@PhdThesis{ManzonettoHdR,
author = "Giulio Manzonetto",
title = "Lambda Calculus, Linear Logic and Symbolic Computation",
school = "University Paris-Nord",
type = "Habilitation \`a diriger des recherches",
year = "2017",
}
Books.bib
@book{BarendregtM22,
author = {Henk Barendregt and
Giulio Manzonetto},
title = {A Lambda Calculus Satellite},
publisher = {College Publications},
year = {2022}
}