Proving the unique fixed−point principle correct: an adventure with category theory
Say you want to prove something about an infinite data-structure, such as a stream or an infinite tree, but you would rather not subject yourself to coinduction. The unique fixed-point principle is an easy-to-use, calculational alternative. The proof technique rests on the fact that certain recursio...
| मुख्य लेखकों: | , |
|---|---|
| स्वरूप: | Conference item |
| प्रकाशित: |
ACM
2011
|