Benjamin C. Pierce, editor. Advanced Topics in Types and Programming Languages. MIT Press, 2005. [ bib | home page ]

Benjamin C. Pierce. Types and Programming Languages. MIT Press, 2002. [ bib | errata | home page ]

Benjamin C. Pierce. Basic Category Theory for Computer Scientists. MIT Press, 1991. [ bib ]