20/04/2001, Friday, 16:30–17:30 Room P3.10, Mathematics Building Davide Sangiorgi, INRIA, Sophia Antipolis Extensionality and intensionality of the ambient logic