Pages that link to "Item:Q3518275"
From MaRDI portal
The following pages link to Normalisation Control in Deep Inference via Atomic Flows (Q3518275):
Displayed 17 items.
- A graphical foundation for interleaving in game semantics (Q479313) (← links)
- Classical proof forestry (Q636369) (← links)
- On the decision problem for MELL (Q1733062) (← links)
- Minimal type inference for linked data consumers (Q2348796) (← links)
- True Concurrency of Deep Inference Proofs (Q2820698) (← links)
- On the Power of Substitution in the Calculus of Structures (Q2946759) (← links)
- On linear rewriting systems for Boolean logic and some applications to proof theory (Q2974793) (← links)
- On the Proof Complexity of Cut-Free Bounded Deep Inference (Q3010365) (← links)
- Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic (Q3637204) (← links)
- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization (Q3638277) (← links)
- On Compositionality of Dinatural Transformations (Q5079758) (← links)
- (Q5089025) (← links)
- (Q5111329) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- Deep inference and expansion trees for second-order multiplicative linear logic (Q5236548) (← links)
- Combinatorial flows as bicolored atomic flows (Q6103000) (← links)
- Enumerating Independent Linear Inferences (Q6135760) (← links)