TY  - RPRT
TI  - A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction
AU  - Tatsuya Abe
AU  - Daisuke Kimura
PY  - 2021
UR  - https://arxiv.org/abs/2101.12607
ID  - 2101.12607
ER  -