Browse by Authors and Editors

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 3.

Hutton, Graham and Gibbons, Jeremy (2005) Proof Methods for Corecursive Programs. Fundamenta Informaticae Special Issue on Program Transformation, 66 (4). pp. 353-366.

Gibbons, Jeremy and Hutton, Graham (1999) Proof Methods for Structured Corecursive Programs. In: Proceedings of the 1st Scottish Functional Programming Workshop, Stirling, Scotland.

Hutton, Graham and Gibbons, Jeremy (2001) The Generic Approximation Lemma. Information Processing Letters, 79 (4). pp. 197-201.

This list was generated on Tue May 22 00:17:52 2012 BST.