Giacomo Barlucchi: Accounting for Recursion – A Descriptive and Computational Study of Fixed Points
Avhandling för filosofie doktorsexamen i ämnet logik vid Humanistiska fakulteten, Institutionen för filosofi, lingvistik och vetenskapsteori. Disputationen hålls på engelska och äger rum på Humanisten. Den som önskar kan lyssna via zoom. Välkommen!
Respondent:
Giacomo Barlucchi, Institutionen för filosofi, lingvistik och vetenskapsteori
Avhandlingens titel:
Accounting for Recursion: A Descriptive and Computational Study of Fixed Points
Betygsnämnd:
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
Ersättare vid förfall för ledamot i betygsnämnden är:
Professor Eleni Gregoromichelaki, Göteborgs universitet
Opponent:
Associate Professor Michal Skrzypczak, University of Warsaw, Poland
Ordförande:
Dr. Martin Kaså, Göteborgs universitet