A complete, co-inductive syntactic theory of sequential control and state.

Kristian Stvring, Sren B. Lassen

Browse the full POPL paper archive.