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

August 23, 2019

Knowledge Representation with HoTT

Filed under: Uncategorized — Andrei Rodin @ 8:15 am

Contributed talk at the Studia Logica Conference Trends in Logic 19, Moscow, HSE, October 2-4, 2019 (abstract) (slides)

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress