Neil Ghani: "Towards Higher Dimensional Parametricity"; and David Ellerman: "The Logic of Partitions"
Date of publication: 4. 9. 2015
Mathematics and theoretical computing seminar
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"
