The following pages link to (Q4499150):
Displaying 5 items.
- Sheaf toposes for realizability (Q938241) (← links)
- Introduction to Turing categories (Q998306) (← links)
- Developing theories of types and computability via realizability (Q1574785) (← links)
- Relative and modified relative realizability (Q1849865) (← links)
- Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312) (← links)