From semantics to computer science essays in honour of Gilles Kahn - Bertot, Yves [ed.]; Huet, Gerard [ed.]; Levy, Jean-Jacques [ed.]; Plotkin, Gordon [ed.] (Cambridge Cambridge University Press, 2009)
Keywords: Computer science