Logic and Computation Seminar
Home Seminars Registration Contacts
 
Edition

16/11/2001, Friday, 16:30–17:30
Room P3.10, Mathematics Building

Marcelo Coniglio, SU Campinas, Brasil

Topos semantics of fibring

IT Técnico FCT