The Dialogical Take on the Axiom of Choice, and Its Translation into CTT | Publicación