Church numerals‚ twice!
Ralf Hinze
Details
| Institution |
Institut für Informatik III‚ Universität Bonn |
| Month |
feb |
| Number |
IAI−TR−2002−3 |
| Year |
2002 |
Links
Related pages
|
People |
|
|
Activities |