axiom-math
[Top][All Lists]
Advanced

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

[Axiom-math] Programming with categories


From: Gabriel Dos Reis
Subject: [Axiom-math] Programming with categories
Date: 25 Apr 2006 23:39:23 +0200

Hi,

  While I was "spring cleaning" my computers, I found this

    http://www.cs.man.ac.uk/~david/categories/book/book.pdf

which I believe might be of reading interest to the Axiom community.

-- Gaby




reply via email to

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