Effective operations on partial recursive functions

Cited in

(36)

Computation on abstract data types. The extensional approach, with an application to streams
The hereditary partial effective functionals and recursion theory in higher types
Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)
Effective operations in a general setting
Constructive operators of finite types
Topological variants of the continuity theorem for mappings and related theorems
Total sets and objects in domain theory
scientific article; zbMATH DE number 7568608 (Why is no real title available?)
Recursion theorems and effective domains
How much partiality is needed for a theory of computability?
Monotone inductive definitions in a constructive theory of functions and classes
A model theoretic characterization of effective operations
Kleene's amazing second recursion theorem
Feferman on computability
Computability in higher types, P and the completeness of type assignment
Kleene’s Amazing Second Recursion Theorem
Semantics vs syntax vs computations: Machine models for type-2 polynomial-time bounded functionals
Polymorphic type inference and containment
The semantics of second-order lambda calculus
Stochastic \(\lambda\)-calculi: an extended abstract
On the continuity of effective multifunctions
Towards computability over effectively enumerable topological spaces
Some Theorems on Classes of Recursively Enumerable Sets
On fixed-point theorems in synthetic computability
Bibliography of John Myhill
La théorie des fonctions récursives et ses applications. (Exposé d'information générale)
On effective topological spaces
Computability and the morphological complexity of some dynamics on continuous domains
On the information carried by programs about the objects they compute
Theory of representations
The concept of effective method applied to computational problems of linear algebra
scientific article; zbMATH DE number 3230252 (Why is no real title available?)
The basic theory of partial -recursive operators
Effectivity and effective continuity of multifunctions
An Effective Operator, Continuous but not Partial Recursive
Some results related to the continuity problem

This page was built for publication: Effective operations on partial recursive functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3230369)