Logic and Computation Seminar
Home Seminars Registration Contacts
 
Edition

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

Claudio Hermida, Instituto Superior Técnico

Coherence in categorical algebra

IT Técnico FCT