The following pages link to (Q3214888):
Displaying 7 items.
- Realizability and intuitionistic logic (Q792319) (← links)
- On effectively computable realizations of choice functions (Q1072545) (← links)
- Realizability and recursive set theory (Q1094418) (← links)
- Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
- From constructivism to computer science (Q1274450) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- Analyzing realizability by Troelstra's methods (Q5957857) (← links)