<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2012-11-01 02:57:53Structure Abstract interpretation Galois connection Coinduction Mathematics Order theory Mathematical analysis |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2012-11-01 02:57:53Structure Abstract interpretation Galois connection Coinduction Mathematics Order theory Mathematical analysis |
Add to Reading List |
The Power of Parameterization in Coinductive Proof Chung-Kil Hur