%0 Journal Article %1 journals/corr/abs-2101-12607 %A Abe, Tatsuya %A Kimura, Daisuke %D 2021 %J CoRR %K dblp %T A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction. %U http://dblp.uni-trier.de/db/journals/corr/corr2101.html#abs-2101-12607 %V abs/2101.12607

@article{journals/corr/abs-2101-12607, added-at = {2021-02-02T00:00:00.000+0100}, author = {Abe, Tatsuya and Kimura, Daisuke}, biburl = {https://www.bibsonomy.org/bibtex/2cdecb0f8d03a95b3fd11d8d2e2b3c37a/dblp}, ee = {https://arxiv.org/abs/2101.12607}, interhash = {41f43d2aa75e32305c1e30737c8370e1}, intrahash = {cdecb0f8d03a95b3fd11d8d2e2b3c37a}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:25:24.000+0200}, title = {A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2101.html#abs-2101-12607}, volume = {abs/2101.12607}, year = 2021 }