[Back]


Diploma and Master Theses (authored and supervised):
N. Pona:
"Cut-Elimination in Functional Higher-Order Logic";
Supervisor: A. Leitsch; Institut für Computersprachen, 2016; final examination: 2016-09-21.

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