anyone know of a good introductory reference for learning about coinduction?
-
-
Replying to @chrisamaphone
@chrisamaphone I think the chapter in here is good: http://adam.chlipala.net/cpdt/ (esp if using coq), I also used this: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.8497 …1 reply 0 retweets 2 likes -
Replying to @lenary
@lenary@chrisamaphone +1. I also learned much from Danielsson+Alternkirch "Mixing Induction and Coinduction" (sorry no link, on a train...)1 reply 0 retweets 1 like -
Replying to @edwinbrady
@edwinbrady@chrisamaphone http://www.cse.chalmers.se/~nad/publications/danielsson-altenkirch-mixing.html … seems to be the abstract, with pdf link on that page.1 reply 0 retweets 1 like
@lenary @chrisamaphone That's the one. There was enough in there to help me implement it, at least. Hoorah for reproducibility :).
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.