Benjamin C. Pierce

Books
Basic Category Theory for Computer Scientists Basic Category Theory for Computer Scientists
Basic Category Theory for Computer Scientists
1991
Types and Programming Languages Types and Programming Languages
Types and Programming Languages
2002