scientific article
From MaRDI portal
Publication:3281965
zbMath0100.24901MaRDI QIDQ3281965
Publication date: 1959
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Term extraction and Ramsey's theorem for pairs ⋮ Unnamed Item ⋮ Partial morphisms in categories of effective objects ⋮ Base-Complexity Classifications of QCB $$_0$$ 0 -Spaces ⋮ Game semantics approach to higher-order complexity ⋮ Polymorphic extensions of simple type structures. With an application to a bar recursive minimization ⋮ Realizing Brouwer's sequences ⋮ Computation on abstract data types. The extensional approach, with an application to streams ⋮ The equivalence of bar recursion and open recursion ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ Internal Density Theorems for Hierarchies of Continuous Functionals ⋮ Nonflatness and totality ⋮ Well Quasi-orders and the Functional Interpretation ⋮ Sheaf toposes for realizability ⋮ Bar recursion over finite partial functions ⋮ Notes on computable analysis ⋮ A Relationship between Equilogical Spaces and Type Two Effectivity ⋮ Total sets and objects in domain theory ⋮ R.E. degrees of continuous functionals ⋮ Unnamed Item ⋮ Computability in higher types, P\(\omega\) and the completeness of type assignment ⋮ Computability concepts for programming language semantics ⋮ Partial enumerable and finite functionals ⋮ Feferman on Computability ⋮ On the Computability of the Fan Functional ⋮ Continuous and monotone machines ⋮ Unnamed Item ⋮ THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING ⋮ Computable functionals of finite types ⋮ Some purely topological models for intuitionistic analysis ⋮ La théorie des fonctions récursives et ses applications. (Exposé d'information générale)
