"Logical Reasoning for Higher-Order Functions with Local State."

Nobuko Yoshida, Kohei Honda, Martin Berger (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics