Axioms for delimited continuations in the cps hierarchy (2004)

by Yukiyoshi Kameyama
Venue:In Computer Science Logic, 18th International Workshop