Informes

14/11/00 Geometric Structures in Logic, Physics & Computer Science, École Normale Supérieure, Paris: Francis William Lawvere: The relationship of foundations & applications (contd.) / A Kock remarks / discussion