Topic · 5 books to explore
by Simon Thompson
Topics: Category theory , Type theory , Functional programming
by Bartosz Milewski
Topics: Category theory
by Brendan Fong , David I Spivak
by Emily Riehl
by Boris Marinov
We can't find the internet
Attempting to reconnect
Something went wrong!