3 ms·Talk is titled: "Exploring hypercomputation with the effective topos"by hackandthink 3y agoTalk is titled: "Exploring hypercomputation with the effective topos"