Eine beweistheoretische Anwendung partieller stetiger Funktionale (Q4184826)
From MaRDI portal
scientific article; zbMATH DE number 3621707
Language | Label | Description | Also known as |
---|---|---|---|
English | Eine beweistheoretische Anwendung partieller stetiger Funktionale |
scientific article; zbMATH DE number 3621707 |
Statements
Eine beweistheoretische Anwendung partieller stetiger Funktionale (English)
0 references
1978
0 references
(Partial) Continuous Functions of Finite Type
0 references
Primitive Recursive Relations
0 references
Proof Theory
0 references
Quantitative Theory of Algorithms
0 references
Intuitionism
0 references
Recursion Theory
0 references
Complexity of Proofs
0 references
Quantitative Theory Of Algorithms
0 references
Heyting Arithmetic
0 references