There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Files 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.
