Inverting Functions as Folds
Shin-Cheng Mu and Richard S. Bird infobook 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
BibTeX
Link (pdf)
related pages
|
