A fully abstract semantics and a proof system for an ALGOL-like language with sharing

2014-12-01T00:00:00Z (GMT) by S. D(Stephen D.) Brookes
Computer Science Department