Sheaf semantics of termination-insensitive noninterference

From MaRDI portal

Publication:6544097

Jump to:navigation, search

DOI10.4230/LIPICS.FSCD.2022.5MaRDI QIDQ6544097FDOQ6544097

Authors: Jonathan Sterling, Robert Harper

Publication date: 27 May 2024

zbMATH Keywords

denotational semantics information flow modal type theory synthetic domain theory noninterference topos theory Artin gluing phase distinction synthetic 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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6544097&oldid=40064772"