“…In other words, linear functions between two coherence spaces are less than stable functions between the same domains. Since the syntactical constraints of S PCF forbid useless duplications of redexes, we are utterly convinced that S PCF can be fruitfully exploited in research fields like optimal evaluation (see for instance [2,31,34]), implicit computational complexity (see for instance [4,5,14]), linear computation (see for instance [1,13]). Further motivations are theoretical.…”