Topics for Internships

Dale Miller is proposing the following internship for 2011-2012.

• Proof certificates for some basic proof systems in classical logic. Posted 12 November 2011.
• Relating double-negation translations and focused proof systems. Posted 12 November 2011.