Pages that link to "Item:Q1574785"
From MaRDI portal
The following pages link to Developing theories of types and computability via realizability (Q1574785):
Displaying 12 items.
- Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
- Sheaf toposes for realizability (Q938241) (← links)
- Categorical simulations (Q964545) (← links)
- Introduction to Turing categories (Q998306) (← links)
- Realizability. An introduction to its categorical side (Q1011333) (← links)
- Equilogical spaces (Q1826625) (← links)
- Relative and modified relative realizability (Q1849865) (← links)
- Weak topologies on toposes (Q2657885) (← links)
- Weak ideal topology in the topos of right acts over a monoid (Q4567827) (← links)
- (Q4681810) (← links)
- Categorical models of the differential λ-calculus (Q5108533) (← links)
- What should a generic object be? (Q6174093) (← links)