The following pages link to (Q4283230):
Displaying 19 items.
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Prime algebraicity (Q843107) (← links)
- Synthetic domain theory and models of linear Abadi {\&} Plotkin logic (Q952487) (← links)
- Experiments in linear natural deduction (Q1392279) (← links)
- Glueing and orthogonality for models of linear logic (Q1398466) (← links)
- Domain theory for concurrency (Q1434357) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- Natural deduction for intuitionistic linear logic (Q1891252) (← links)
- Multiplicative Linear Logics and Fibrations (Q2842824) (← links)
- Comonadic Notions of Computation (Q2873672) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- Nominal Domain Theory for Concurrency (Q3644772) (← links)
- Three faces of natural deduction (Q4610312) (← links)
- Relating State-Based and Process-Based Concurrency through Linear Logic (Q4917995) (← links)
- (Q5137919) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- Hypernormalisation in an abstract setting (Q6116181) (← links)
- Deriving distributive laws for graded linear types (Q6657787) (← links)
