Talk
January 13, 2003
Logic Seminar at the Department of Informatics

Free Variable Sequent Calculi