Skip to main content

Giulio Guerrieri

Personal photo - Giulio Guerrieri

Dr Giulio Guerrieri

Researcher

Leaving date: 30th November 2017

Interests

Proof-theory, (differential) linear logic, (differential) lambda-calculus, quantitative denotational semantics, call-by-value vs call-by-name.

Selected Publications

View AllManage publications