Theoretical Pearl: Church numerals‚ twice!
Ralf Hinze
Details
| Journal |
J. Functional Programming |
| Month |
jan |
| Number |
1 |
| Pages |
1–13 |
| Volume |
15 |
| Year |
2005 |
Links
Related pages
|
People |
|
|
Activities |