Pages that link to "Item:Q1575878"
From MaRDI portal
The following pages link to Coherence completions of categories (Q1575878):
Displaying 6 items.
- Musings around the geometry of interaction, and coherence (Q534708) (← links)
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- Softness of MALL proof-structures and a correctness criterion with Mix (Q1882627) (← links)
- On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication (Q3644749) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- The parametric continuation monad (Q5269001) (← links)
