Skip to main content

Giulio Guerrieri

Personal photo - Giulio Guerrieri

Dr Giulio Guerrieri

Researcher

E: giulio.guerrieri@cs.ox.ac.uk
T: +44 (0)1865 283596

Room 351, Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

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

Selected Publications

View AllManage publications