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

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