Berger, Martin and Tratt, Laurie (2015) Program logics for homogeneous generative run-time meta-programming. Logical Methods in Computer Science, 11 (1). ISSN 1860-5974

Schwinghammer, Jan, Birkedal, Lars, Reus, Bernhard and Yang, Hongseok (2011) Nested Hoare Triples and Frame Rules for Higher-order Store. Logical Methods in Computer Science, 7 (3). pp. 1-42. ISSN 1860-5974

Yoshida, Nobuko, Honda, Kohei and Berger, Martin (2008) Logical Reasoning for Higher-Order Functions with Local State. Logical Methods in Computer Science, 4 (4). pp. 1-68. ISSN 1860-5974

Jeffrey, Alan and Rathke, Julian (2005) Contextual equivalence for higher-order pi-calculus revisited. Logical Methods in Computer Science, 1 (4). pp. 1-22.