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.