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

S. Abramsky
DOI: https://doi.org/10.1007/978-3-540-74915-8_1
2007-09-11
Abstract:
What problem does this paper attempt to address?