User loginNavigation |
Coinductive proof principles for stochastic processesCoinductive proof principles for stochastic processes, Dexter Kozen, Logical Methods in Computer Science 2007.
This paper has a clever little program, a clever little proof principle for it, and exploits connections to a bit of mathematics you don't normally see in PL research. |
Browse archives
Active forum topics
|
Recent comments
9 weeks 5 days ago
13 weeks 6 days ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 2 days ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago