devlibrary
Categories
/ Type theory
Type Theory & Functional Programming
by
Simon Thompson
Category theory
Type theory
Functional programming
Read