Computational trinitarianism

https://ncatlab.org/nlab/show/computational+trinitarianism

Advertisements
This entry was posted in ∞-catégories, category theory, Computer science, Higher category theory, homotopy type theory, Logique. Bookmark the permalink.