References, Local Variables and Operational Reasoning

Ian A. Mason, Carolyn L. Talcott

Browse the full LICS paper archive.