Pagani Michele

avatar.png
Email
michele [point] pagani [a] ens-lyon.fr
Functions and responsibilities

Head of Department

Research fields

Semantics of Programming Languages‬, Linear Logic‬, ‪Proof Theory‬, Lambda Calculus‬