[haskell-br] Teoria de Tipos

[Ricardo Boccato Alves]

Pessoal,
Fiquei interessado em aprender mais sobre a parte teórica dos tipos,
categorias e afins.
Estou começando a ler o livro "Type Theory and Functional Programming", que
tem o pdf na página do próprio autor (
http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/).
Alguém por um acaso saberia me dizer se este é um bom livro para ser
introduzido ao assunto? Ou teria alguma sugestão?
Também comecei a dar uma olhada no "An Introduction to Category Theory" que
me pareceu palatável (
http://www.amazon.com/gp/aw/d/B009019QT6/ref=mp_s_a_1?qid=1356133716&sr=1-1
).

[]s,
Ricardo Boccato Alves
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-br/attachments/20121221/dc9fdcc4/attachment.htm>