The following pages link to (Q3863873):
Displaying 27 items.
- Computability in higher types, P\(\omega\) and the completeness of type assignment (Q579245) (← links)
- Computable one-to-one enumerations of effective domains (Q582908) (← links)
- A learning-theoretic characterization of classes of recursive functions (Q673668) (← links)
- On p-reducibility of numerations (Q688790) (← links)
- A category-theoretic characterization of functional completeness (Q912587) (← links)
- Computability and the morphological complexity of some dynamics on continuous domains (Q930875) (← links)
- Fine hierarchies and m-reducibilities in theoretical computer science (Q949621) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Total sets and objects in domain theory (Q1210138) (← links)
- Some effectively infinite classes of enumerations (Q1210351) (← links)
- \({\mathcal M}^\omega\) considered as a programming language (Q1304541) (← links)
- Recursive unary algebras and trees (Q1326781) (← links)
- Representability of locally compact regular spaces by domains and formal spaces (Q1391747) (← links)
- Domain representations of topological spaces (Q1583255) (← links)
- Equilogical spaces (Q1826625) (← links)
- On recursively enumerable structures (Q1919770) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Inductive inference and computable numberings (Q2430009) (← links)
- Enumerations in computable structure theory (Q2570135) (← links)
- Rice’s Theorem in Effectively Enumerable Topological Spaces (Q3195700) (← links)
- Computable elements and functions in effectively enumerable topological spaces (Q4593240) (← links)
- Some results related to the continuity problem (Q4593245) (← links)
- Nonflatness and totality (Q4611200) (← links)
- Towards Computability over Effectively Enumerable Topological Spaces (Q4918009) (← links)
- (Q4989402) (← links)
- (Q5094901) (← links)
- (Q5129941) (← links)
