Author: European Summer School in Logic, Language, and Information (9th 1997 Aix-en Provence, France)