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

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress