A Unified Formal Description of Arithmetic and Set Theoretical Data Types.

Paul Tarau

Browse the full AISC paper archive.