Manzonetto Giulio

(λx.gmanzonexgmail.com)@
Ph.D. in Computer Science

Researches

My main interest in computer science is in lambda calculus, resource calculi, term rewriting systems, denotational semantics, categorical semantics, universal algebra, topology and computability theory.
Attended and held seminars list.
Erdos number: 4 (but there is still hope).

PhD Thesis

Models and Theories of Lambda Calculus.
G. Manzonetto. January 2008. Thesis (pdf), Thesis (ps).
- On December 2008 this thesis was awarded the prize for the Best French Thesis in Computer Science (EADS Prix de la Meilleure Thèse 2008).

Journal Papers

Constructing Differential Categories and Deconstructing Categories of Games.
J. Laird, G. Manzonetto and G. McCusker. Long version. Submitted to Information and Computation, July 2011. Paper (pdf), (ps);
Strong Normalization of ML^F via a Coercion Calculus
G. Manzonetto and P. Tranquilli. Submitted to Theoretical Computer Science. October 2010. (37pp). Paper (pdf), (ps);
What is a Categorical Model of the Differential and the Resource Lambda Calculi?
G. Manzonetto. Submitted to Mathematical Structures in Computer Science. June 2010. (41pp). Paper (pdf), (ps);
Applying Universal Algebra to Lambda Calculus.
G. Manzonetto and A. Salibra. Special issue of Journal of Logic and Computation on Logic and Algebra, Volume 20, Number 4,pp. 877-915, 2010. Paper (pdf), (ps);
A Relational Semantics for Parallelism and Non-Determinism in a Functional Setting.
A. Bucciarelli, T. Ehrhard and G. Manzonetto. Submitted to Annals of Pure and Applied Logic. March 2009. (37pp) Paper (pdf), (ps);
Effective Lambda Models Versus Recursively Enumerable Lambda Theories.
C. Berline, G. Manzonetto and A. Salibra. Mathematical Structures in Computer Science. Volume 19, Issue 05, pp 897-942, 2009. Paper (pdf), (ps).

Conference Papers

Constructing Differential Categories and Deconstructing Categories of Games.
J. Laird, G. Manzonetto and G. McCusker. International Conference on Automata, Languages and Programming - Part II (ICALP 2011), Volume 6756 of LNCS, pages 186-197, 2011. Paper (pdf), (ps);
Böhm's Theorem for Resource Lambda Calculus through Taylor Expansion.
G. Manzonetto and M. Pagani. Typed Lambda Calculi and Applications (TLCA'11), Volume 6690 of LNCS, pages 153-168, 2011. Paper (pdf), (ps);
Full Abstraction for Resource Calculus with Tests.
A. Bucciarelli, A. Carraro, T. Ehrhard and G. Manzonetto. January 2011. Accepted in CSL 2011. Paper (pdf);
Harnessing ML^F with the Power of System F.
G. Manzonetto and P. Tranquilli. International Symposium on Mathematical Foundations of Computer Science (MFCS'10), Volume 6281 of LNCS, pages 525-536, 2010. Paper (pdf), (ps);
Categorical Models for Simply Typed Resource Calculi.
A. Bucciarelli, T. Ehrhard and G. Manzonetto. 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS'10), Volume 265 of Electronic Notes in Theoretical Computer Science, Pages 213-230, 2010. Paper (pdf), (ps);
A General Class of Models of H*.
G. Manzonetto. 34th International Symposium on Mathematical Foundations of Computer Science (MFCS'09), volume 5734 of LNCS, pages 574-586, 2009. Paper (pdf), (ps);
Lattices of Equational Theories as Church Algebras.
G. Manzonetto and A. Salibra. In C. Drossos, P. Peppas, and C. Tsinakis, eds, Proc. 7th Panhellenic Logic Symposium, pages 117-121. Patras University Press, 2009. Paper (pdf), (ps);
A Relational Model of a Parallel and Non-Deterministic λ-calculus.
A. Bucciarelli, T. Ehrhard and G. Manzonetto. Symposium on Logical Foundations of Computer Science (LFCS'09), volume 5407 of LNCS, pages 107-121, 2009. Paper (pdf), (ps);
From Lambda Calculus to Universal Algebra and Back.
G. Manzonetto and A. Salibra. 33rd International Symposium on Mathematical Foundations of Computer Science (MFCS'08), volume 5162 of LNCS, pages 479-490, 2008. Paper (pdf), (ps);
Not Enough Points is Enough.
A. Bucciarelli, T. Ehrhard and G. Manzonetto. 16th EACSL Annual Conference on Computer Science and Logic (CSL'07), volume 4646 of LNCS, pages 268-282, 2007. Paper (pdf), (ps);
Lambda Theories of Effective Lambda Models.
C. Berline, G. Manzonetto and A. Salibra. 16th EACSL Annual Conference on Computer Science and Logic (CSL'07), volume 4646 of LNCS, pages 298-312, 2007. Paper (pdf);
Boolean Algebras for Lambda Calculus.
G. Manzonetto and A. Salibra. 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), pages 139-148, Seattle, Washington, Usa, August 12th-15th, 2006. Paper (pdf), BibTeX(bib).

Workshop Papers

A Calculus of Coercions Proving the Strong Normalization of ML^F.
G. Manzonetto and P. Tranquilli. 5th International Workshop on Higher-Order Rewriting (HOR'10), pages 17-21. Paper (pdf), (ps);

Invited Papers

Turing's Contributions to Lambda Calculus.
G. Manzonetto and H.P. Barendregt. In Collection "Alan Turing - His Work and Impact" for the Centenary Celebration of the Life and Work of Alan Turing, 2012;
The Imperative and Functional Programming Paradigm.
G. Manzonetto, H.P. Barendregt and Rinus Plasmeijer. In Collection "Alan Turing - His Work and Impact" for the Centenary Celebration of the Life and Work of Alan Turing, 2012.

Technical Reports

Models and Theories of Lambda Calculus.
G. Manzonetto. Technical Report INRIA. March 2009 (pdf) (Description of Manzonetto's PhD thesis in 20 pages).
The Visser Topology of Lambda Calculus.
C. Berline, G. Manzonetto and A. Salibra. Preprint January 2007 (pdf) (preliminary version of 'Lambda theories of effective lambda models').

Posters

CALMOC: Categorical and Algebraic Models of Computation.
H. Barendregt, M. Gehrke, H. Geuvers, G. Manzonetto and J. Rutten. Poster presented at SIREN/NL 2010. Poster (pdf).

Research Projects

CALMOC, Categorical and Algebraic Models of Computation.
COLLODI, Complexity and concurrency through ludics and differential linear logic.
PARSEC, Parallelism and Security.
CONCERTO, CONtrol and CERTification of Resources Usage.
FOLLIA, Logical foundations of abstract programming languages.

Video Talks

27/08/08 - From lambda calculus to Universal algebra... and back! @ MFCS 2008.

Software

Camleye: A functional implementation of a perceptual grouping solver

Reviewer Activities

Journals: TCS, JFP, NDJFL
Conferences: PPDP'06, CSL'06, CDR60, CSL'08, LSFA'08, FOSSACS'09, ESOP2010, ICALP'10, PPDP'10, FOSSACS'11, RTA'11, ICALP'11.
Workshops: HOR'10, WOLLIC'11.

People I'm researching with

Antonio Bucciarelli	Semantics of non-deterministic and parallel calculi and resource calculi;
Thomas Ehrhard	Relational models of differential lambda calculus;
Henk Barendregt	Separability of resource lambda calculus;
Guy McCusker	Game semantics of differential lambda calculus;
Michele Pagani	Separability of resource lambda calculus;
Paolo Tranquilli	ML^F and its variations, coercion calculus, strong normalization;

University readings

At the moment these are the academic books I keep at hand on my desk or in my bag:

"Mathematical theory of domains", V. Stoltenberg-Hansen, I. Lindstrom, ER Griffor
"Proofs and types", Jean-Yves Girard (translated by Yves LaFont)
"Stone spaces", P.T. Johnstone, 1982. Cambridge University Press.
"Introduction to higher order categorical logic", J. Lambek and P.J. Scott
"Modal Logic", P. Blackburn, M. de Rijke, Y. Venema