MathDB1 problem
- 0 votes0 replies0 views
Interactive realizers as winning strategies and classical realizability semantics
The paper considers interactive realizers, continuous functions on states of knowledge that specify further guesses for extending the knowledge and reactions to the discovery of ne…