A Relationship between Equilogical Spaces and Type Two Effectivity

DOI10.1016/S1571-0661(04)80952-6zbMath1260.68216MaRDI QIDQ4917046

Andrej Bauer

Publication date: 26 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

On the Relationship between Filter Spaces and Weak Limit Spaces ⋮ Fixed points of contractive maps on dcpo's ⋮ Bisimulation proof methods in a path-based specification language for polynomial coalgebras ⋮ Admissibly Represented Spaces and Qcb-Spaces

Cites Work

• Sheaf toposes for realizability
• Type 2 recursion theory
• Theory of representations
• Total sets and objects in domain theory
• Equilogical spaces
• Local realizability toposes and a modal logic for computability
• Topological and limit-space subcategories of countably-based equilogical spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item