Bertot, Yves From semantics to computer science : essays in honour of Gilles Kahn - ind cambridge pub 2009 - xix,574p: 24cm Subjects--Topical Terms: C.S Dewey Class. No.: 004 / BER-F 2009 909548