Sort by
Refine Your Search
-
Dependent type theory is a foundation of mathematics that allows us to mechanise arguments, and is closely related to higher category theory. It serves as that basis of programming languages and
Searches related to category theory
Enter an email to receive alerts for category-theory positions