Giacomo Barlucchi: Accounting for Recursion: A Descriptive and Computational Study of Fixed Points
Kultur & språk
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!