Applied Semantics International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures - Barthe, Gilles; Barthe, Gilles; Dybjer, Peter; Dybjer, Peter; Pinto, Luis; Pinto, Luis; Saraiva, João; Saraiva, João (Springer Berlin Heidelberg : Imprint: Springer, 2002)