%0 Journal Article %1 journals/corr/Scherer16 %A Scherer, Gabriel %D 2016 %J CoRR %K %T Deciding equivalence with sums and the empty type. %U http://dblp.uni-trier.de/db/journals/corr/corr1610.html#Scherer16 %V abs/1610.01213

@article{journals/corr/Scherer16, added-at = {2023-12-14T16:05:24.000+0100}, author = {Scherer, Gabriel}, biburl = {https://www.bibsonomy.org/bibtex/21f3335960bebaff6719488d9ec8aa29c/admin}, ee = {http://arxiv.org/abs/1610.01213}, interhash = {f36060321910cb1f87d99ca3a8cc2aa4}, intrahash = {1f3335960bebaff6719488d9ec8aa29c}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-14T16:05:24.000+0100}, title = {Deciding equivalence with sums and the empty type.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1610.html#Scherer16}, volume = {abs/1610.01213}, year = 2016 }