Report icon

Report

Church numerals‚ twice!

Actions


Authors


Ralf Hinze More by this author
Publisher:
Institut für Informatik III‚ Universität Bonn
Publication date:
2002-02-01
URN:
uuid:b7304973-389b-4fb1-9ca5-44dbc94b53a8
Local pid:
cs:1147

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP