The following pages link to (Q4428887):
Displaying 6 items.
- Recursion over realizability structures (Q1173956) (← links)
- Axiomatizing higher-order Kleene realizability (Q1338200) (← links)
- Realizability semantics of the early period of Markov's constructivism (history and problems) (Q2751811) (← links)
- First-order universality for real programs (Q2843994) (← links)
- (Q4493877) (← links)
- (Q4789454) (← links)