Reasoning about Local Variables with Operationally-Based Logical Relations.

Andrew M. Pitts

Browse the full LICS paper archive.