06/07/2001, Friday, 16:30–17:30 Room P3.10, Mathematics Building Carlos Caleiro, Instituto Superior Técnico Non-truth-functional fibred semantics
