Talks

A tutorial on co-induction at JFLA-11 and the associated Coq file.

Last modified: Sun Feb 6 21:31:25 CET 2011