from semantics to computer science,essays in honour of gilles kahn

yves (edt) bertot · cambridge univ pr