Search
Now showing items 1-1 of 1
Learning, realizability and games in classical arithmetic
(2011)
Abstract. In this dissertation we provide mathematical evidence that the concept of
learning can be used to give a new and intuitive computational semantics of classical
proofs in various fragments of Predicative ...