From semantics to computer science : essays in honour of Gilles Kahn - Kahn, Gilles; Bertot, Yves (Cambridge University Press, 2009)