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