Nonlocal Flow of Control and Kleene Algebra with Tests.

Dexter Kozen

Browse the full LICS paper archive.