url update for Asperti & Longo: "Categories, Types and Structures"

Jens-Ulrik Petersen jens-ulrik.petersen@nokia.com
23 Mar 2001 12:26:41 +0900

Hi Frank,

Thanks for making <http://www.cs.uu.nl/people/franka/ref.html>.  Good

"Frank Atanassow" <franka@cs.uu.nl> writes:

>   [1] Andrea Asperti and Giussepe Longo. Categories, Types and Structures. An
>       introduction to Category Theory for the working computer
>       scientist. MIT Press, 1991.
>       URL: http://www.dmi.ens.fr/users/longo/download.html

It seems ENS's DMI bifurcated... the current url is now


Maybe you could update the link on your page too.

Thanks, Jens