The following pages link to (Q4896506):
Displaying 40 items.
- An approach to innocent strategies as graphs (Q418201) (← links)
- Correctness of linear logic proof structures is NL-complete (Q534703) (← links)
- Polarized and focalized linear and classical proofs (Q556824) (← links)
- Proof and refutation in MALL as a game (Q636305) (← links)
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- Weak typed Böhm theorem on IMLL (Q866556) (← links)
- Parametric \(\lambda \)-theories (Q930867) (← links)
- Proof nets sequentialisation in multiplicative linear logic (Q952490) (← links)
- Strong normalization property for second order linear logic (Q1044837) (← links)
- Linear logic by levels and bounded time complexity (Q1044841) (← links)
- Light linear logic (Q1271560) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Paths-based criteria and application to linear logic subsystems characterizing polynomial time (Q1640980) (← links)
- Stratified coherence spaces: A denotational semantics for light linear logic (Q1827389) (← links)
- The additive multiboxes (Q1861326) (← links)
- Softness of MALL proof-structures and a correctness criterion with Mix (Q1882627) (← links)
- Simple free star-autonomous categories and full coherence (Q1936110) (← links)
- The spirit of node replication (Q2233421) (← links)
- Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072) (← links)
- An abstract approach to stratification in linear logic (Q2343125) (← links)
- Concurrent nets: a study of prefixing in process calculi (Q2491636) (← links)
- Syntax vs. semantics: A polarized approach (Q2570132) (← links)
- Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
- (Q2703720) (← links)
- Event Domains, Stable Functions and Proof-Nets (Q2864146) (← links)
- Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459) (← links)
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (Q3540183) (← links)
- The true concurrency of differential interaction nets (Q4577982) (← links)
- Jump from parallel to sequential proofs: exponentials (Q4577985) (← links)
- Multi-focused cut elimination (Q4637625) (← links)
- (Q5014804) (← links)
- (Q5015210) (← links)
- (Q5018489) (← links)
- (Q5028444) (← links)
- (Q5089024) (← links)
- Connection-based proof construction in linear logic (Q5234702) (← links)
- Proofs, Reasoning and the Metamorphosis of Logic (Q5251186) (← links)
- Encoding Hamiltonian circuits into multiplicative linear logic (Q5958784) (← links)
- Node Replication: Theory And Practice (Q6192004) (← links)
