Neil Ghani: "Towards Higher Dimensional Parametricity"; and David Ellerman: "The Logic of Partitions"
Datum objave: 4. 9. 2015
Seminar za temelje matematike in teoretično računalništvo
Torek, 8. 9. 2015, od 12h do 14h, Plemljev seminar, Jadranska 19
There will be two "Foundations" seminars on Tuesday 8th September, both in Plemljev seminar, Jadranska 19.
12h-13h: Neil Ghani (Strathclyde University) - "Towards Higher Dimensional Parametricity"
13h-14h: David Ellerman (University of California, Riverside) - "The Logic of Partitions"
