[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: [Axiom-developer] categorical design

From: Bill Page
Subject: RE: [Axiom-developer] categorical design
Date: Thu, 9 Oct 2003 22:54:30 -0400

BTW, if I haven't already mentioned it here (or even if
I have ... <grin> ) I would like to recommend a good and
easily available book on category theory and type systems.
See the book

  Categories Types and Structures
  by Asperti and Longo
  MIT Press, 1991

Now available for download at:

Bill Page.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]