Abstract
The theory of relational parametricity and its logical relations proof technique are powerful tools for reasoning about information hiding in the polymorphic λ-calculus. We investigate the applicat...
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have