A Sequent Calculus with Implicit Term Representation.

Stefan Hetzl

Browse the full CSL paper archive.