Sequents, Frames, and Completeness.

Thierry Coquand, Guo-Qiang Zhang

Browse the full CSL paper archive.