Pages that link to "Item:Q3230369"
From MaRDI portal
The following pages link to Effective operations on partial recursive functions (Q3230369):
Displayed 34 items.
- Computability in higher types, P\(\omega\) and the completeness of type assignment (Q579245) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- Computability and the morphological complexity of some dynamics on continuous domains (Q930875) (← links)
- Theory of representations (Q1073022) (← links)
- The basic theory of partial \(\alpha\)-recursive operators (Q1078175) (← links)
- Recursion theorems and effective domains (Q1102949) (← links)
- Polymorphic type inference and containment (Q1110312) (← links)
- Monotone inductive definitions in a constructive theory of functions and classes (Q1115865) (← links)
- Bibliography of John Myhill (Q1192339) (← links)
- Total sets and objects in domain theory (Q1210138) (← links)
- Topological variants of the continuity theorem for mappings and related theorems (Q1245942) (← links)
- Constructive operators of finite types (Q1245943) (← links)
- Semantics vs syntax vs computations: Machine models for type-2 polynomial-time bounded functionals (Q1362334) (← links)
- On fixed-point theorems in synthetic computability (Q1683373) (← links)
- On the information carried by programs about the objects they compute (Q1693999) (← links)
- Computation on abstract data types. The extensional approach, with an application to streams (Q1923575) (← links)
- Stochastic \(\lambda\)-calculi: an extended abstract (Q2250553) (← links)
- The concept of effective method applied to computational problems of linear algebra (Q2546145) (← links)
- Kleene's Amazing Second Recursion Theorem (Q3161629) (← links)
- Some Theorems on Classes of Recursively Enumerable Sets (Q3255349) (← links)
- Effectivity and effective continuity of multifunctions (Q3570164) (← links)
- Kleene’s Amazing Second Recursion Theorem (Q3644738) (← links)
- The hereditary partial effective functionals and recursion theory in higher types (Q3734394) (← links)
- On effective topological spaces (Q4391431) (← links)
- Some results related to the continuity problem (Q4593245) (← links)
- Towards Computability over Effectively Enumerable Topological Spaces (Q4918009) (← links)
- On the Continuity of Effective Multifunctions (Q4918021) (← links)
- Feferman on Computability (Q5214780) (← links)
- Vladimir Andreevich Uspensky (27/11/1930–27/6/2018) (Q5220248) (← links)
- (Q5518362) (← links)
- La théorie des fonctions récursives et ses applications. (Exposé d'information générale) (Q5536266) (← links)
- An Effective Operator, Continuous but not Partial Recursive (Q5537606) (← links)
- Effective operations in a general setting (Q5623673) (← links)
- A model theoretic characterization of effective operations (Q5628118) (← links)