Manzonetto Giulio
Ph.D. in Computer Science

Research Interests

My main interest in computer science is in lambda calculus, resource calculi, denotational semantics, categorical semantics, universal algebra, topology and computability theory.
Erdos number: 3 (but there is still hope).

Current research students

Past research students

Journal Papers

Conference Papers

Workshop Papers

Invited Papers


Technical Reports


Research Projects

Video Talks


Reviewer Activities

People I'm researching with

Thomas Ehrhard Call-By-Push-Value Relational Models;
Giulio Guerrieri Call-By-Push-Value Relational Models;
Stefano Guerrini Goedel's koan
Benedetto Intrigila Goedel's koan
Jim Laird Quantitative models of nondeterministic PCF;
Guy McCusker Quantitative models of nondeterministic PCF;
Michele Pagani Quantitative models of nondeterministic PCF;
Andrew Polonsky Lambda Calculus: Double fixed point combinators and Unification
Simona Ronchi della Rocca Call-By-Value Weak Lambda Calculus.
Antonino Salibra Algebraization of Logics based on Decomposition operators.




Spare Time

A mathematician is a machine for turning coffee into theorems.