Thanks: (was Question about categories)
Iavor Diatchki
diatchki at cse.ogi.edu
Mon Sep 22 12:27:53 EDT 2003
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 <GK at ninebynine.org> 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 at 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 |
==================================================
More information about the Haskell-Cafe
mailing list