Sheaf semantics of termination-insensitive noninterference

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

Authors Jonathan Sterling, Robert Harper

Publication date 27 May 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2022.5

zbMATH Keywords

Artin gluingdenotational semanticsinformation flowmodal type theorynoninterferencephase distinctionsynthetic domain theorysynthetic Tait computabilitytopos theory

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(4)

• Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
• Homotopy type theory as a language for diagrams of -logoses
• Toward a geometry for syntax
• Strict universes for Grothendieck topoi

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)