Manzonetto Giulio


x.gmanzonexgmail.com)@
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

Thesis

Technical Reports

Posters

Research Projects

Video Talks

Software

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.


Home


Teaching


Curriculum


Spare Time

A mathematician is a machine for turning coffee into theorems.