User loginNavigation |
archivesOn the origins of Bisimulation, Coinduction, and Fixed PointsDavide Sangiorgi, On the origins of Bisimulation, Coinduction, and Fixed Points.
There is a wealth of interesting information in this paper. Alas, it is not very easy to read, and the exposition can be improved. So this is not for beginners or outsiders, but if you are familiar with the topic the historical discussion will be of interest. |
Browse archivesActive forum topics |
Recent comments
16 weeks 2 days ago
16 weeks 2 days ago
16 weeks 2 days ago
38 weeks 3 days ago
42 weeks 5 days ago
44 weeks 2 days ago
44 weeks 2 days ago
47 weeks 15 hours ago
51 weeks 5 days ago
51 weeks 5 days ago