Pages that link to "Item:Q1167158"
From MaRDI portal
The following pages link to Generalized Banach-Mazur functionals in the topos of recursive sets (Q1167158):
Displaying 15 items.
- Adjointness in recursion (Q581396) (← links)
- Two models of synthetic domain theory (Q678839) (← links)
- Filtered colimits in the effective topos (Q819805) (← links)
- A categorial approach to the theory of computation (Q911584) (← links)
- Sheaf toposes for realizability (Q938241) (← links)
- Introduction to Turing categories (Q998306) (← links)
- Extensional PERs (Q1193589) (← links)
- Monads and algebras in the semantics of partial data types (Q1193894) (← links)
- Partial map classifiers and partial cartesian closed categories (Q1349664) (← links)
- An equational notion of lifting monad (Q1398461) (← links)
- Left and right adjoint operations on spaces and data types (Q1434353) (← links)
- Lifting results for categories of algebras (Q1605183) (← links)
- The sequentially realizable functionals (Q1849853) (← links)
- Fibrations and recursivity (Q4850324) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)