Browse by Journal

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 3.

Article

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.

This list was generated on Sun Mar 26 02:38:42 2017 BST.