Applied semantics : International Summer School, APPSEM 2000 : Caminha, Portugal, September 9-15, 2000 : advanced lectures - Barthe, Gilles, 1967- (Lecture notes in computer science ;, 2002)