LOGIKSEMINARIET STOCKHOLM-UPPSALA


Anton Hedin

  A continuous DCPO representation of regular formal topologies

Onsdag 10 september kl 10.30 i rum 2347,
MIC, Polacksbacken,  Uppsala.
OBS lokal!