The following pages link to (Q3357521):
Displaying 25 items.
- Polarized and focalized linear and classical proofs (Q556824) (← links)
- Forum: A multiple-conclusion specification logic (Q671512) (← links)
- On the unity of logic (Q685059) (← links)
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Interactive observability in Ludics: the geometry of tests (Q817844) (← links)
- Focusing and polarization in linear, intuitionistic, and classical logics (Q1035706) (← links)
- LMNtal as a hierarchical logic programming language (Q1035709) (← links)
- Refining multiset transformers (Q1127515) (← links)
- Linearizing intuitionistic implication (Q1210141) (← links)
- Distributed programming with logic tuple spaces (Q1329178) (← links)
- First-order linear logic without modalities is NEXPTIME-hard (Q1342252) (← links)
- Semantic data modelling using linear logic (Q1349996) (← links)
- Non-commutative logic. III: Focusing proofs. (Q1427855) (← links)
- Efficient resource management for linear logic proof search (Q1575929) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Linear concurrent constraint programming: Operational and phase semantics (Q1854410) (← links)
- The additive multiboxes (Q1861326) (← links)
- Structure of proofs and the complexity of cut elimination (Q2368983) (← links)
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568) (← links)
- Coordination: Reo, Nets, and Logic (Q3603000) (← links)
- Relating State-Based and Process-Based Concurrency through Linear Logic (Q4917995) (← links)
- On the Relations between Disjunctive and Linear Logic Programming (Q4923519) (← links)
- True concurrency semantics for a linear logic programming language with broadcast communication (Q5044735) (← links)
- Closures and Modules Within Linear Logic Concurrent Constraint Programming (Q5458864) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
