Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus

Naokata Shikuma Atsushi Igarashi

Published in: CoRR (2008)

Keyphrases

lambda calculus
programming language
database query languages
predicate calculus
complex objects
database systems
query language
higher order
general purpose
program understanding