%0 Journal Article %1 journals/lmcs/KesnerV19 %A Kesner, Delia %A Vial, Pierre %D 2020 %J Log. Methods Comput. Sci. %K dblp %N 1 %T Non-idempotent types for classical calculi in natural deduction style. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs16.html#KesnerV19 %V 16

@article{journals/lmcs/KesnerV19, added-at = {2020-10-28T00:00:00.000+0100}, author = {Kesner, Delia and Vial, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2c495eefc302cb88e4b9fca35dfe73d78/dblp}, ee = {https://doi.org/10.23638/LMCS-16(1:3)2020}, interhash = {fc2e7860908961d512ade0e0dff1c8c8}, intrahash = {c495eefc302cb88e4b9fca35dfe73d78}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 1, timestamp = {2020-10-29T11:34:36.000+0100}, title = {Non-idempotent types for classical calculi in natural deduction style.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs16.html#KesnerV19}, volume = 16, year = 2020 }