andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

January 30, 2017

TYPE THEORY IN LJUBLJANA JAN 30 – FEB 2 2017

Filed under: Uncategorized — Andrei Rodin @ 1:18 am

https://eutypes.cs.ru.nl/Meetings/Ljubljana17

Powered by WordPress