Block Structure vs. Scope Extrusion: Between Innocence and Omniscience.

Andrzej S. Murawski, Nikos Tzevelekos

Browse the full FOSSACS paper archive.