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 <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] 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 | ==================================================
_______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
