Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract).

Samson Abramsky

Browse the full CSL paper archive.