Similar Items: A Galois connection between Turing jumps and limits
- Galois connecting call-by-value and call-by-name
- Alternating Turing machines for inductive languages
- Ambiguity of {omega}-Languages of Turing Machines
- Strong Turing Degrees for Additive BSS RAM's
- Reachability for infinite time Turing machines with long tapes
- Turing machines on represented sets, a model of computation for Analysis