28 Apr
1998
28 Apr
'98
1:46 p.m.
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