Sort by
Refine Your Search
-
science as one between category theory and functional programming languages. Whereas The connection between mathematics and Martin-Löf type theory can be formalized as an equivalence between structured
Searches related to category theory
Enter an email to receive alerts for category-theory positions