DMCA

Abstract Context Logic as Modal Logic: Completeness and Parametric Inexpressivity Separation Logic, Ambient Logic and Context Logic are based on a

by Unknown Authors