Kristian Støvring, Søren B. Lassen
A complete, co-inductive syntactic theory of sequential control and state
POPL, 2007.
@inproceedings{POPL-2007-StovringL,
author = "Kristian Støvring and Søren B. Lassen",
booktitle = "{Proceedings of the 34th Symposium on Principles of Programming Languages}",
doi = "10.1145/1190216.1190244",
editor = "Martin Hofmann and Matthias Felleisen",
isbn = "1-59593-575-4",
pages = "161--172",
publisher = "{ACM}",
title = "{A complete, co-inductive syntactic theory of sequential control and state}",
year = 2007,
}