The following pages link to Linear logic (Q579249):
Displaying 16 items.
- Computational interpretations of linear logic (Q685430) (← links)
- Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note (Q853474) (← links)
- Automata theory based on complete residuated lattice-valued logic: Pushdown automata (Q1037929) (← links)
- A game semantics for linear logic (Q1192350) (← links)
- Proofs as processes (Q1342245) (← links)
- Constant-only multiplicative linear logic is NP-complete (Q1342254) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- Streams and strings in formal proofs. (Q1853510) (← links)
- The intuitionistic fragment of computability logic at the propositional level (Q2373697) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- A stable programming language (Q2492185) (← links)
- From truth to computability. I. (Q2500484) (← links)
- Game Semantics for Access Control (Q2805155) (← links)
- Definability and Full Abstraction (Q2864154) (← links)
- Functions as processes (Q4017458) (← links)
- A concurrent constraint programming interpretation of access permissions (Q4644356) (← links)
