[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:
http://www.di.ens.fr/users/longo/download.html
Cheers,
Bill Page.