Elementary explicit types and polynomial time operations (Q3632522)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Elementary explicit types and polynomial time operations |
scientific article |
Statements
Elementary explicit types and polynomial time operations (English)
0 references
11 June 2009
0 references
conservativeness
0 references
proof theory
0 references
Feferman's explicit mathematics
0 references
applicative theories
0 references
naming
0 references
feasible operations
0 references
computability on the set of binary words
0 references