Ju l 2 01 0 Coherence and finiteness spaces July 2010