The following pages link to (Q3335771):
Displayed 4 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)
- Effective inseparability in a topological setting (Q1923565) (← links)
- Rice’s Theorem in Effectively Enumerable Topological Spaces (Q3195700) (← links)
- Computable elements and functions in effectively enumerable topological spaces (Q4593240) (← links)