Browse by Authors and Editors

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

Backhouse, Roland (2012) First-past-the-post games. In: Mathematics of program construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012: proceedings. Lecture notes in computer science (7342). Springer, Berlin, pp. 157-176. ISBN 9783642311130 (electronic); 9783642311123 (print)

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: 1st Scottish Functional Programming Workshop, 29 Aug - 1 Sept 1999, Stirling, Scotland.

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

Gibbons, Jeremy and Hutton, Graham and Altenkirch, Thorsten (2001) When is a function a fold or an unfold? In: Workshop on Coalgebraic Methods in Computer Science (4th), 6-7 April 2001, Genova, Italy.

This list was generated on Mon Apr 24 01:42:21 2017 UTC.