Similar Items: Constructing Fully Complete Models of Multiplicative Linear Logic
- Type Isomorphisms for Multiplicative-Additive Linear Logic
- On the meaning of logical completeness
- Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
- An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
- Strongly Complete Logics for Coalgebras
- Consistency and Completeness of Rewriting in the Calculus of Constructions