"An Observationally Complete Program Logic for Imperative Higher-Order ..."

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