Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9-15, 2000 Advanced Lectures (Lecture Notes in Computer Science)

by Gilles Barthe (Editor), Gilles Barthe (Editor), João Saraiva (Series Editor), Luís Pinto (Series Editor), Peter Dybjer (Series Editor)

• New

  Paperback
  2002

  $105.48

  These are revised and extended versions of lectures given at an international summer school on applied semantics that took place in Caminha, Portugal. The nine lectures included present developments in programming language research.