Pages that link to "Item:Q1898813"
From MaRDI portal
The following pages link to Asynchronous communication model based on linear logic (Q1898813):
Displaying 5 items.
- A note on Kobayashi's and Yonezawa's ``Asynchronous communication model based on linear logic'' (Q1272763) (← links)
- Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568) (← links)
- Propositions as sessions (Q2875234) (← links)
- Types for Proofs and Programs (Q5712317) (← links)
- Proofs as computations in linear logic (Q5941199) (← links)