"Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures " - читать интересную книгу автора (Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva)