The Coq mailing list

[Nils Anders Danielsson <nad AT Cs.Nott.AC.UK>]

On 2009-08-26 22:23, Ekaterina Komendantskaya wrote:
> A related discussion in this mailing list was under the topic
> [Coq-Club] Codata: problem with guardedness condition?
> And in particular, there was given a nice link to a similar discussion
> at Nottingham FP lunch:
> http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=109
> Perhaps some of this has already been published...

The paper draft I mentioned recently (Mixing Induction and Coinduction)
includes an explanation of the technique discussed in that blog post.

--
/NAD

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.