Travelled to:
1 × France
Collaborated with:
∅
Talks about:
determinaci (1) interpret (1) arithmet (1) comput (1) axiom (1)
Person: Takanori Hida
DBLP: Hida:Takanori
Contributed to:
Wrote 1 papers:
- CSL-2012-Hida #axiom
- A Computational Interpretation of the Axiom of Determinacy in Arithmetic (TH), pp. 335–349.