Luca Cardelli, Marcelo Fiore, Glynn Winskel: Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin. Electronic Notes in Theoretical Computer Science 172, Elsevier 2007