Hacker News
- A Short Introduction to Implicit Computational Complexity [pdf] http://www.cs.unibo.it/~dallago/FICQRA/esslli.pdf 2 comments
- The history of bisimulation, coinduction, and fixed points :: PDF http://www.cs.unibo.it/~sangio/doc_public/history_bis_coind.pdf 2 comments programming