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

June 5, 2019

Knowledge Representation with HoTT

Filed under: Uncategorized — Andrei Rodin @ 10:39 am

Contributed talk at the 25th International Conference on Types for Proofs and Programs, June 11-14, 2019, Oslo, Norway



Related paper

Book of Abstracts indexed by Program

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress