Similar Items: Coherence for Frobenius pseudomonoids and the geometry of linear proofs
- Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
- Categorical Proof Theory of Co-Intuitionistic Linear Logic
- Coherent and finiteness spaces
- On linear rewriting systems for Boolean logic and some applications to proof theory
- Coherent Presentations of Monoidal Categories
- A coherent differential PCF