Sequent Calculus in the Topos of Trees.

Ranald Clouston, Rajeev Gor

Browse the full FOSSACS paper archive.