Logical Mobility and Locality Types
From MaRDI portal
Publication:5458795
Recommendations
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Linear types and locality
- Locality and interleaving semantics in calculi for mobile processes
- Static Analysis
- Types for ambient and process mobility
- Logical operations with localized structures
- scientific article; zbMATH DE number 1479626
- Types for Proofs and Programs
- scientific article; zbMATH DE number 1110847
Cited in
(7)- A type theory for memory allocation and data layout
- Justification logic as a foundation for certifying mobile computation
- Computer Science Logic
- The Logic of Proofs as a Foundation for Certifying Mobile Computation
- Selective Memoization with Box Types
- A dual-context sequent calculus for the constructive modal logic S4
- A Modal Language for the Safety of Mobile Values
This page was built for publication: Logical Mobility and Locality Types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458795)