Natural numbers from integers.

Christian Sattler, David Wrn

Browse the full LICS paper archive.