[TYPES] D. E. Rydeheard's book "Computational Category Theory"

[Galchin Vasili]

Hello Type Community,

    Recently I came across a soft-copy of Rydeheard's
book"Computational Category Theory" at
http://www.cs.man.ac.uk/~david/categories/index.html

I would like to know if this book had an impact on
type theory research and if so, in what way?

Regards, Bill Halchin



		
__________________________________ 
Do you Yahoo!? 
Take Yahoo! Mail with you! Get it on your mobile phone. 
http://mobile.yahoo.com/maildemo