Avigad Kapulkin Lumsdaine : homotopy limits in type theory

Advertisements
This entry was posted in Philosophie. Bookmark the permalink.