• 1 WEST 4.56

Accepting PhD Students

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Giulio Guerrieri is active. These topic labels come from the works of this person. Together they form a unique fingerprint.


Proof Nets
Abstract Machines
Denotational Semantics
Proof Theory
Linear Logic
Lambda Calculus
Type Theory
Programming Languages