Name:Giulio Guerrieri

Country:France

Affiliation:Aix Marseille Université - CNRS - LIS; Edinburgh Research Centre - Central Software Institute - Huawei

Research interests:logic, proof-theory, lambda-calculus, type theory, linear logic, abstract machines, denotational semantics.