Benjamin C. Pierce Books

Advanced Topics in Types and Programming Languages
Types and Programming Languages
Basic Category Theory for Computer Scientists