Is this the right story? One of my difficulties is that I'm having trouble grasping what coinduction might mean for terms.

The following tutorial paper may be helpful: http://www.cs.nott.ac.uk/~gmh/corecursion.pdf Best wishes, Graham +-----------------------------------------------------------------+ | Dr Graham Hutton Email : gmh@cs.nott.ac.uk | | Functional Programming Lab | | School of Computer Science Web : www.cs.nott.ac.uk/~gmh | | University of Nottingham | | Jubilee Campus, Wollaton Road Phone : +44 (0)115 951 4220 | | Nottingham NG8 1BB, UK | +-----------------------------------------------------------------+