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

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