Interpreting Sequent Calculi as Client-Server Games.

Christian G. Fermller, Timo Lang

Browse the full TABLEAUX paper archive.