Operads and Type Theory

Activity: Talk or presentationInvited talkAcademic

Period10 May 2001
Event titleWorkshop over Mathematische Logica, Mittag-Leffler Institute
Event typeOther
LocationStockholmShow on map