Re: Thanks: (was Question about categories)

hi, for the book mentioned bellow (and many other useful texts) check out frank atanassow page: http://www.cs.uu.nl/people/franka/ref hope this helps iavor Daniel Yokomiso wrote:

--- Graham Klyne escreveu:

[snip]

...

[2] http://www.di.ens.fr/users/longo/download.html which has a link to content of the (apparently) out-of-print book: [[ CATEGORIES TYPES AND STRUCTURES An Introduction to Category Theory for the working computer scientist Andrea Asperti Giuseppe Longo FOUNDATIONS OF COMPUTING SERIES, M.I.T. PRESS, 1991 ]]

Seems to be this book:

http://www.amazon.com/exec/obidos/tg/detail/-/0262011255/qid=1064248079/sr=8-1/ref=sr_8_1/002-2181686-7144062?v=glance&s=books&n=507846

There's also a list of some books about it:

http://www.booksunderreview.com/Science/Math/Algebra/Category_Theory/

BTW I tried to connect to ftp.ens.fr/pub/dmi/users/longo/CategTypesStructures (as informed in an Amazon review) but failed. Someone knows of another place where we can legally obtain the postscript files (if they exist at all)?

Best regards, Daniel Yokomiso.

_______________________________________________________________________ Desafio AntiZona: participe do jogo de perguntas e respostas que vai dar um Renault Clio, computadores, câmeras digitais, videogames e muito mais! www.cade.com.br/antizona _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

-- ================================================== | Iavor S. Diatchki, Ph.D. student | | Department of Computer Science and Engineering | | School of OGI at OHSU | | http://www.cse.ogi.edu/~diatchki | ==================================================