
12 Apr
2003
12 Apr
'03
6:32 p.m.
On Saturday 12 April 2003 23:52, Dominic Steinitz wrote:
For the theory, look at Triples, Toposes and Theories by Barr & Wells. I think it's chapter 7 but I haven't got it in front of me.
This looks like it's quickly getting out of the realm of programming :)
Cheers,
--
Eray Ozkural (exa)