Someone else asked me about corecursion today and it brought my mind back to this thread. I’m curious if, in particular, posts 18 and 20 ended up being helpful.
They made sense when I was thinking about this, but I haven’t considered it too much since the semester started. I do want to revisit this someday, but fall 2011 is not that day.