The following pages link to On denotational completeness (Q1575869):
Displaying 10 items.
- Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives (Q1398470) (← links)
- Coherent Banach spaces: A continuous denotational semantics (Q1575868) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- On phase semantics and denotational semantics in multiplicative-additive linear logic (Q1971797) (← links)
- Non-uniform hypercoherences (Q2842815) (← links)
- Definability and full abstraction (Q2864154) (← links)
- An Indexed System for Multiplicative Additive Polarized Linear Logic (Q3540184) (← links)
- The Smyth Completion (Q4222778) (← links)
- A completeness theorem for symmetric product phase spaces (Q5311727) (← links)
- (Q5483006) (← links)