A Unified Formal Description of Arithmetic and Set Theoretical Data Types (Q3582712)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Unified Formal Description of Arithmetic and Set Theoretical Data Types |
scientific article |
Statements
A Unified Formal Description of Arithmetic and Set Theoretical Data Types (English)
0 references
24 August 2010
0 references
formal description of arithmetic and set-theoretical data types
0 references
Peano arithmetic
0 references
hereditarily finite sets
0 references
bijective base-2 arithmetic
0 references
software refinement with Haskell type classes
0 references
computational mathematics
0 references
