Sheaf semantics of termination-insensitive noninterference

DOI10.4230/LIPICS.FSCD.2022.5MaRDI QIDQ6544097zbMATH OpenFDO

Authors Jonathan Sterling, Robert Harper

Publication date 27 May 2024

zbMATH Keywords

denotational semanticsinformation flowmodal type theorysynthetic domain theorynoninterferencetopos theoryArtin gluingphase distinctionsynthetic Tait computability

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Sheaf semantics of termination-insensitive noninterference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6544097)