Books by Simon Thompson

Category theory Type theory Functional programming