Church numerals‚ twice!
Ralf Hinze
Institution
Institut für Informatik III‚ Universität Bonn
Month
feb
Number
IAI−TR−2002−3
Year
2002
Ralf Hinze