Giacomo Barlucchi: Accounting for Recursion: A Descriptive and Computational Study of Fixed Points
Disputation for Ph.D. in Logic at the Faculty of Humanities, Department of Philosophy, Linguistics and Theory of Science. You can follow via Zoom if you wish. Welcome!
Respondent:
Giacomo Barlucchi, Institutionen för filosofi, lingvistik och vetenskapsteori
Thesis title:
Accounting for Recursion: A Descriptive and Computational Study of Fixed Points
Examining committee:
Professor Martin Lange, University of Kassel, Germany
Associate Professor lsabel Oitavem, NOVA University of Lisbon, Portugal
Associate Professor Paulo Oliva, Queen Mary University of London, UK
Substitute if member in the committee is missing:
Professor Eleni Gregoromichelaki, Göteborgs universitet
Opponent:
Associate Professor Michal Skrzypczak, University of Warsaw, Poland
Chair:
Dr. Martin Kaså, Göteborgs universitet
