On denotational completeness
From MaRDI portal
Publication:1575869
DOI10.1016/S0304-3975(99)00055-9zbMath0959.03050MaRDI QIDQ1575869
Publication date: 23 August 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
linear logicdenotational semanticscoherent spacessemantical completenesscommutative Par-monoidessential clique
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (6)
A completeness theorem for symmetric product phase spaces ⋮ Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives ⋮ An Indexed System for Multiplicative Additive Polarized Linear Logic ⋮ On phase semantics and denotational semantics in multiplicative-additive linear logic ⋮ Non-Uniform Hypercoherences ⋮ Definability and Full Abstraction
This page was built for publication: On denotational completeness
