[Back]


Doctor's Theses (authored and supervised):

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.


Created from the Publication Database of the Vienna University of Technology.