Type Theory & Functional Programming

by Simon Thompson
Category theory Type theory Functional programming
Read online