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
http://www.amazon.com/gp/aw/d/B009019QT6/ref=mp_s_a_1?qid=1356133716&sr=1-1