Reasoning about local variables with operationally-based logical relations (1996)

by Andrew M. Pitts
Venue:In LICS
Citations:32 - 3 self

Document Versions

Reasoning about local variables with operationally-based logical relations –Andrew M. Pitts — 1996 — In LICS
Reasoning about Local Variables with Operationally-Based Logical Relations –Andrew W. Pitts — 1996 — In Algol-Like Languages