%0 Journal Article %1 journals/corr/abs-2001-04439 %A Das, Ankush %A Pfenning, Frank %D 2020 %J CoRR %K dblp %T Session Types with Arithmetic Refinements and Their Application to Work Analysis. %U http://dblp.uni-trier.de/db/journals/corr/corr2001.html#abs-2001-04439 %V abs/2001.04439

@article{journals/corr/abs-2001-04439, added-at = {2020-01-17T00:00:00.000+0100}, author = {Das, Ankush and Pfenning, Frank}, biburl = {https://www.bibsonomy.org/bibtex/27fa3bf30012de882a9dc2f61f15bfdce/dblp}, ee = {https://arxiv.org/abs/2001.04439}, interhash = {1f4813aadf91924c8c9d8af941ef1dc0}, intrahash = {7fa3bf30012de882a9dc2f61f15bfdce}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-01-18T11:39:27.000+0100}, title = {Session Types with Arithmetic Refinements and Their Application to Work Analysis.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2001.html#abs-2001-04439}, volume = {abs/2001.04439}, year = 2020 }