Nombre de documents

19

CV de Giulio Manzonetto


Article dans une revue5 documents

  • Flavien Breuvart, Giulio Manzonetto, Andrew Polonsky, Domenico Ruoppolo. New Results on Morris's Observational Theory: the benefits of separating the inseparable. Leibniz International Proceedings in Informatics (LIPIcs), 2016, 1st International Conference on Formal Structures for Computation and Deduction, pp.560. <http://fscd2016.dcc.fc.up.pt/>. <10.4230/LIPIcs.FSCD.2016.70>. <hal-01337192>
  • Giulio Manzonetto, Domenico Ruoppolo. Relational Graph Models, Taylor Expansion and Extensionality. Electronic Notes in Theoretical Computer Science, Elsevier, 2014, Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX), 308, pp.45-272. <10.1016/j.entcs.2014.10.014>. <hal-01140878>
  • Thomas Ehrhard, Antonio Bucciarelli, Giulio Manzonetto. A relational semantics for parallelism and non-determinism in a functional setting. Annals of Pure and Applied Logic, Elsevier Masson, 2012, 163 (7), pp.918-934. <10.1016/j.apal.2011.09.008>. <hal-00707776>
  • Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto. A relational semantics of parallelism and non-determinism in a functional setting.. Annals of Pure and Applied Logic, Elsevier Masson, 2012, 163 (7), pp.918-934. <inria-00628887>
  • Chantal Berline, Giulio Manzonetto, Antonio Salibra. Effective lambda-models vs recursively enumerable lambda-theories. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2009, 19 (5), pp.897-942. <hal-00288081>

Pré-publication, Document de travail2 documents

  • Manzonetto Giulio. What is a categorical model of the differential and the resource lambda-calculi?. 2010. <hal-00493990>
  • Giulio Manzonetto, Paolo Tranquilli. Strong Normalization of MLF via a Calculus of Coercions. 2010. <hal-00573697>

Rapport1 document

  • Giulio Manzonetto. Models and theories of lambda calculus. [Research Report] 2009. <inria-00380183>

Communication dans un congrès10 documents

  • Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani. Call-by-value non-determinism in a linear logic type discipline. Sergei Artemov and Anil Nerode. LFCS - Logical Foundations of Computer Science - 2013, Jan 2013, San Diego, CA, United States. Springer, 7734, pp.164-178, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-35722-0_12>. <hal-00919463>
  • Jim Laird, Manzonetto Giulio, Guy Mccusker, Michele Pagani. Weighted Relational Models of Typed Lambda-Calculi. 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013, Jun 2013, New Orleans, LA, United States. <10.1109/LICS.2013.36>. <hal-01144064>
  • Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt. Loader and Urzyczyn Are Logically Related. ICALP, 2012, Warwick, France. 7392, pp.364-376, 2012, LNCS. <hal-00959623>
  • Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto. Full abstraction for a resource calculus with tests. Computer Science Logic, 2011, Bergen, Norway. pp.97-111, 2011, LIPIcs; CSL. <inria-00628886>
  • Thomas Ehrhard, Antonio Bucciarelli, Alberto Carraro, Giulio Manzonetto. Full Abstraction for Resource Calculus with Tests. Marc Bezem. Computer Science Logic (CSL'11), Sep 2011, Bergen, Norway. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 12, pp.97-111, 2011, Leibniz International Proceedings in Informatics (LIPIcs). <10.4230/LIPIcs.CSL.2011.97>. <hal-00707814>
  • Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto. Categorical Models for Simply Typed Resource Calculi. M. Mislove and P. Selinger. 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010), May 2010, Ottawa, Canada. Elsevier, 265, pp.213-230, 2010, Electronic Notes in Theoretical Computer Science. <hal-00527229>
  • Thomas Ehrhard, Antonio Bucciarelli, Giulio Manzonetto. A Relational Model of a Parallel and Non-deterministic lambda-Calculus. Sergei N. Artemov and Anil Nerode. Logical Foundations of Computer Science, International Symposium, LFCS 2009, Jan 2009, Deerfield Beach, FL, USA, France. Springer, 5407, pp.107-121, 2009, Lecture Notes in Computer Science. <hal-00527245>
  • Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto. A relational model of a parallel and non-deterministic lambda-calculus. Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings,, 2009, United States. 5407, pp.107-121, 2009, Lecture Notes in Computer Science. <hal-00283095v2>
  • Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto. Not enough points is enough. Jacques Duparc and Thomas A. Henzinger. Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Sep 2007, Lausanne, Switzerland. Springer, 4646, pp.298-312, 2007, Lecture Notes in Computer Science. <hal-00148820>
  • Chantal Berline, Giulio Manzonetto, Antonino Salibra. Lambda theories of effective lambda models. CSL'07, 16th EACSL Annual Conference on Computer Science and Logic, Sep 2007, Lausanne, Switzerland. Springer Berlin / Heidelberg, 4646/2007, pp.268-282, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-74915-8>. <hal-00125816v2>

Thèse1 document

  • Giulio Manzonetto. Models and theories of lambda calculus. Logic in Computer Science [cs.LO]. Université Paris-Diderot - Paris VII, 2008. English. <tel-00715207>