Inverting Functions as Folds
Shin−Cheng Mu and Richard S. Bird
Details
| Book Title |
Mathematics of Program Construction |
| Editor |
Eerke A. Boiten and Bernhard Möller |
| ISBN |
3−540−43857−2 |
| Pages |
209−232 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
2386 |
| Year |
2002 |
Links
Related pages
|
People |
|
|
Activities |