devlibrary
Type Theory & Functional Programming
by
Simon Thompson
Category theory
Type theory
Functional programming
Read now
We can't find the internet
Attempting to reconnect
Something went wrong!
Attempting to reconnect