A Computational Interpretation of the Axiom of Determinacy in Arithmetic.

Takanori Hida

Browse the full CSL paper archive.