Disjunctive Axioms and Concurrent Λ-Calculi: A Curry-Howard Approach