Theories of Information Hiding in Lambda-Calculus: Logical Relations and Bisimulations for Encryption and Type Abstraction

57/59