martinescardo / effectfulforcing Goto Github PK
View Code? Open in Web Editor NEWFiles related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical Computer Science 01/2013, volume 298, pages 119-141.