The following pages link to (Q3676137):
Displayed 9 items.
- 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)
- Recursive topological spaces (Q1921850) (← links)
- Effective inseparability in a topological setting (Q1923565) (← links)
- Some results related to the continuity problem (Q4593245) (← links)
- Towards Computability over Effectively Enumerable Topological Spaces (Q4918009) (← links)
- (Q5094901) (← links)
- Representations versus numberings: On the relationship of two computability notions (Q5958133) (← links)
- COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)