The following pages link to (Q4537511):
Displaying 7 items.
- Computational interpretations of linear logic (Q685430) (← links)
- LMNtal as a hierarchical logic programming language (Q1035709) (← links)
- Asynchronous communication model based on linear logic (Q1898813) (← links)
- Design and implementation of a concurrent logic programming language with linear logic constraints (Q2883106) (← links)
- True concurrency semantics for a linear logic programming language with broadcast communication (Q5044735) (← links)
- Types for Proofs and Programs (Q5712317) (← links)
- Logical Concurrency Control from Sequential Proofs (Q5900865) (← links)