F. Genco: "Intermediate logics and concurrent lambda-calculi: a proof theoretic approach"; Supervisor, Reviewer: A. Ciabattoni, E. Bartocci; Institut für Logic und Computation, 2019; oral examination: 2019-05-08.