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

DOI10.1007/978-3-540-74915-8_1zbMATH Open1179.03058DBLPconf/csl/Abramsky07OpenAlexW1497029596WikidataQ57006634 ScholiaQ57006634MaRDI QIDQ3608397FDOQ3608397

Samson Abramsky

Publication date: 5 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_1

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608397)