LOGIKSEMINARIET STOCKHOLM-UPPSALA

Johan Granström

   Different kinds of immediate evidence in intuitionistic type theory

Onsdag 12 november kl 10.30 i sal Å64119, Uppsala