title = {Logical Reasoning for Higher-Order Functions with Local State},
author = {Nobuko Yoshida and Kohei Honda and Martin Berger}, journal = {CoRR}, note = {informal publication}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0806.html#abs-0806-2448}, volume = {abs/0806.2448}, year = {2008}, description = {dblp}, ee = {http://arxiv.org/abs/0806.2448}, date = {2008-07-02},
keywords = {dblp }
::