The following pages link to Realizability: a historical essay (Q5894815):
Displaying 12 items.
- More exact completions that are toposes (Q1602851) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Randomising realizability (Q2117768) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- Mass problems and intuitionistic higher-order logic (Q2799749) (← links)
- A note on inequivalence of realizability toposes (Q3826731) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- Constructive Game Logic (Q5041088) (← links)
- Implicative algebras: a new foundation for realizability and forcing (Q5139288) (← links)
- A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- Analyzing realizability by Troelstra's methods (Q5957857) (← links)
