Author: Workshop on Topology and Completion in Semantics (1993 Chartres, France)