Computations in higher types
From MaRDI portal
Publication:1235700
zbMath0352.02033MaRDI QIDQ1235700
Publication date: 1977
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65)
Related Items (5)
Reverse Mathematics: The Playground of Logic ⋮ Inadmissible forcing ⋮ The Computational Power of ℳω ⋮ Computing with Functionals—Computability Theory or Computer Science? ⋮ The extensional ordering of the sequential functionals
This page was built for publication: Computations in higher types
