From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/712 Path: news.gmane.org!not-for-mail From: Giuseppe Longo Newsgroups: gmane.science.mathematics.categories Subject: Book available by ftp Date: Tue, 28 Apr 98 15:46:15 +0200 Message-ID: <199804281346.PAA16662@oeillet.ens.fr> References: <3544791F.70AF@iswest.com> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 (NeXT Mail 3.3risc v118.3) Content-Type: text/plain X-Trace: ger.gmane.org 1241017136 27015 80.91.229.2 (29 Apr 2009 14:58:56 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:58:56 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Tue Apr 28 14:56:45 1998 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id NAA04544 for categories-list; Tue, 28 Apr 1998 13:04:46 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 12 Xref: news.gmane.org gmane.science.mathematics.categories:712 Archived-At: The book below is currently out of print. Upon kind permission of the M.I.T. Press, it is now available by ftp, via my web page (see the book content page in Downloadable Papers). Andrea Asperti and Giuseppe Longo. Categories, Types and Structures: an introduction to Category Theory for the working computer scientist. M.I.T.- Press, 1991. (pp. 1--300). --Giuseppe Longo http://www.dmi.ens.fr/users/longo e-mail: longo@dmi.ens.fr