Speaker: Chad Nester Title: Realizability (continued) Location: ICT 616 at 3:00 pm. We will continue developing the story of realizability toposes. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20151123/87a66eba/attachment.html