"From Semantics to Computer Science: Essays in Honour of Gilles Kahn" - читать интересную книгу автора (Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin)