Hegel’s Logic as modal type theory

https://ncatlab.org/nlab/show/Hegel%27s+%22Logic%22+as+Modal+Type+Theory

Advertisements
This entry was posted in Hegel, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle. Bookmark the permalink.