TY  - RPRT
TI  - Disjunctive Axioms and Concurrent $λ$-Calculi: a Curry-Howard Approach
AU  - F. Aschieri
AU  - A. Ciabattoni
AU  - F. A. Genco
PY  - 2018
UR  - https://arxiv.org/abs/1802.00961
ID  - 1802.00961
ER  -