Skip to main content

Church numerals‚ twice!

Ralf Hinze

Institution
Institut für Informatik III‚ Universität Bonn
Month
feb
Number
IAI−TR−2002−3
Year
2002