Journal.bib


@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{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{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",
}

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",
    booktitle = "2nd International Conference on Formal Structures for Computation and Deduction, {FSCD} 2017",
    publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
    series    = "LIPIcs",
    year      = "2017",
    note = "To Appear",
}

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{ManzonettoP16w,
    author    = "Giulio Manzonetto and Andrew Polonsky",
    title     = "On Unification of lambda terms",
    booktitle =   "22textsuperscript{nd} International Conference on Types for Proofs and Programs, TYPES",
    year     = "2016",
}

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",
}

Other.bib

@misc{ManzonettoPSS17,
  author = "Giulio Manzonetto and Andrew Polonsky and Alexis Saurin and Jakob Simonsen",
  title  = "The Fixed Point Property and a Technique to Harness Double Fixed Point Combinators",
  note   = "Submitted",
  year   = "2017",
}
@misc{BreuvartMR17,
  author = "Flavien Breuvart and Giulio Manzonetto and Domenico Ruoppolo",
  title  = "Relational Graph Models at Work",
  note   = "Submitted",
  year   = "2017",
}