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
Authors: 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
Recommendations
- Event domains, stable functions and proof-nets
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
- scientific article; zbMATH DE number 1231581
- Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
- Games and full completeness for multiplicative linear logic
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)
