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

Davide Barbarossa Taylor expansion for the λμ-calculus;
Flavien Breuvart Non-standard observational equivalences;
Claudia Faggian Abstract notions of Böhm trees;
Giulio Guerrieri Abstract notions of Böhm trees;
Benedetto Intrigila Computability theory
Axel Kerinec Non-standard observational equivalences; Call-By-Value Lambda Calculus;
Simona Ronchi della Rocca Call-By-Value Lambda Calculus.




Spare Time

A mathematician is a machine for turning coffee into theorems.