/DynamicIFCTheoremsForFree

Using parametricity to prove noninterference for LIO and Faceted Values

Primary LanguageAgda

Stargazers