Hello,

      Here is the book plus many other llongo papers: http://www.di.ens.fr/users/llongo/download.html

Regards. Vasili

 

 



 

>From: Daniel Yokomiso <[EMAIL PROTECTED]>
>To: Graham Klyne <[EMAIL PROTECTED]>,Haskell Cafe <[EMAIL PROTECTED]>
>Subject: Re: Thanks: (was Question about categories)
>Date: Mon, 22 Sep 2003 13:38:00 -0300 (ART)
>
> --- 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


Instant message in style with MSN Messenger 6.0. Download it now FREE!
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to