Graded Modal Types for Integrity and Confidentiality.

Daniel Marshall Dominic Orchard

Published in: CoRR (2023)

Keyphrases

data confidentiality
real time
data sets
databases
artificial intelligence
case study
multi agent
description logics
integrity constraints