Pages that link to "Item:Q5458795"
From MaRDI portal
The following pages link to Logical Mobility and Locality Types (Q5458795):
Displaying 4 items.
- Justification logic as a foundation for certifying mobile computation (Q408548) (← links)
- The Logic of Proofs as a Foundation for Certifying Mobile Computation (Q3605521) (← links)
- Selective Memoization with Box Types (Q5170291) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)