Pages that link to "Item:Q5741581"
From MaRDI portal
The following pages link to Relating reasoning methodologies in linear logic and process algebra (Q5741581):
Displaying 4 items.
- Encoding safety in \(\mathrm{CLL}_R\) (Q2055960) (← links)
- Process-Algebraic Interpretations of Positive Linear and Relevant Logics (Q4323010) (← links)
- A universal session type for untyped asynchronous communication (Q5009447) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)