Pages that link to "Item:Q4525951"
From MaRDI portal
The following pages link to A Constructive Logic for Services and Information Flow in Computer Networks (Q4525951):
Displaying 7 items.
- Justification logic as a foundation for certifying mobile computation (Q408548) (← links)
- On interactive proof-search for constructive modal necessity (Q2133450) (← links)
- Judgmental subtyping systems with intersection types and modal types (Q2510384) (← links)
- The Logic of Proofs as a Foundation for Certifying Mobile Computation (Q3605521) (← links)
- Type-safe higher-order channels with channel locality (Q5302647) (← links)
- Realist Consequence, Epistemic Inference, Computational Correctness (Q5350353) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)