[eresi-dev] (Book) wish-list and donations to the ERESI team

[jv at ens dot fr]

Hello all,

As we do not do any profit from doing ERESI,
why not adopting the trend that consists in giving
a list of books we would wish to receive as
donations ?

I have done my (personal) small list. The ERESI
core team members are invited to do the same :)


1. Coq'Art:

http://www.springer.com/east/home/computer/computer+series?SGWID=5-40099-22-28710389-0&referer=www.springeronline.com&SHORTCUT=www.springer.com/sgw/cda/frontpage/0,10735,5-40099-22-28710389-0,00.html

A book about theorem proving Id love to get my hands on.

----------

2. Category theory (Oxford press)

http://www.amazon.com/Category-Theory-Oxford-Logic-Guides/dp/0198568614/ref=pd_bbs_sr_1/105-9240604-2752423?ie=UTF8&s=books&qid=1190581418&sr=8-1

A book on category theory, the theorical part of (denotational) 
semantics theory.


------------

3. Category theory for the working mathematican

http://www.amazon.com/Categories-Working-Mathematician-Graduate-Mathematics/dp/0387984038/ref=pd_bbs_sr_2/105-9240604-2752423?ie=UTF8&s=books&qid=1190581418&sr=8-2

Same topic, cheaper.

---------

4. Categories and computer science (cambridge university press)

http://www.amazon.com/Categories-Computer-Science-Cambridge-Texts/dp/0521422264/ref=pd_bbs_7/105-9240604-2752423?ie=UTF8&s=books&qid=1190581418&sr=8-7

Same topic, even cheaper.



If you like the ERESI project and feel like giving back something,
its a unique opportunity. All of us are students and make great
use of such resources. You are also invited to send feature
requests if you honour this wishlist.

-JV