Applied Semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures - Gilles Barthe, Peter Dybjer, Luís Pinto, João Saraiva ((Lecture Notes in Computer Science))