On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types (Q3585061)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types |
scientific article |
Statements
On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types (English)
0 references
31 August 2010
0 references
formal description of arithmetic and set-theoretical data types
0 references
hereditarily finite sets and functions
0 references
bi-interpretations of Peano arithmetic and finite set theory
0 references
symbolic implementations of arithmetic operations
0 references
modeling axiomatizations with type classes
0 references
