Les posts de Mike Schulman sur HoTT

https://homotopytypetheory.org/author/mikeshulman/

http://home.sandiego.edu/~shulman/papers/

Advertisements
This entry was posted in homotopy type theory, Philosophie and tagged , . Bookmark the permalink.