Oi Ricardo, Não conheço os livros que você mencionou. Os livros de Benjamin Pierce, *Types and Programming Languages* <http://www.cis.upenn.edu/~bcpierce/tapl/>e *Basic Category Theory for Computer Scientists*<http://www.amazon.com/Category-Computer-Scientists-Foundations-Computing/dp/0262660717/ref=sr_1_1?ie=UTF8&qid=1356136556&sr=8-1&keywords=Basic+Category+Theory+for+Computer+Scientists>, são textos padrões na área deles. Alem de *TaPL* ser bem acessível por um auto-didático, há recursos na internet e mailing lists que oferecem apoio. A linguagem usada para as implementações é SML. Ainda não tive tempo para encarar o livro de Category Theory. um abraço, Perry 2012/12/21 Ricardo Boccato Alves <boccato@gmail.com>
http://www.amazon.com/gp/aw/d/B009019QT6/ref=mp_s_a_1?qid=1356133716&sr=1-1