Title: Basic Category Theory for Computer Scientists, Author: Benjamin C. Pierce
Title: Types and Programming Languages / Edition 1, Author: Benjamin C. Pierce
Title: Advanced Topics in Types and Programming Languages, Author: Benjamin C. Pierce