Website Functions and responsibilities Head of Department Research fields Semantics of Programming Languages, Linear Logic, Proof Theory, Lambda Calculus
