European Master's Program in Computational Logic

Search:
09 November 2016

Master Thesis Defence by Ms Nika Pona

Ms Nika Pona defended her master thesis on 'Cut-Elimination in Functional Higher-Order Logic'


Ms Nika Pona defended her master thesis on 'Cut-Elimination in Functional Higher-Order Logic' at TUW on 6 October 2016.