Logical Mobility and Locality Types
From MaRDI portal
Publication:5458795
DOI10.1007/11506676_5zbMath1134.68350OpenAlexW1826753772MaRDI QIDQ5458795
Publication date: 24 April 2008
Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11506676_5
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
A dual-context sequent calculus for the constructive modal logic S4 ⋮ Justification logic as a foundation for certifying mobile computation ⋮ Selective Memoization with Box Types ⋮ The Logic of Proofs as a Foundation for Certifying Mobile Computation
This page was built for publication: Logical Mobility and Locality Types
