%0 Journal Article %1 journals/corr/abs-2105-06024 %A Somayyajula, Siva %A Pfenning, Frank %D 2021 %J CoRR %K dblp %T Circular Proofs as Processes: Type-Based Termination via Arithmetic Refinements. %U http://dblp.uni-trier.de/db/journals/corr/corr2105.html#abs-2105-06024 %V abs/2105.06024

@article{journals/corr/abs-2105-06024, added-at = {2021-05-18T00:00:00.000+0200}, author = {Somayyajula, Siva and Pfenning, Frank}, biburl = {https://www.bibsonomy.org/bibtex/290d02948006c8dd01a2f919198102742/dblp}, ee = {https://arxiv.org/abs/2105.06024}, interhash = {2e6c7c899f24d30ad82b634172cb9201}, intrahash = {90d02948006c8dd01a2f919198102742}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:31:51.000+0200}, title = {Circular Proofs as Processes: Type-Based Termination via Arithmetic Refinements.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2105.html#abs-2105-06024}, volume = {abs/2105.06024}, year = 2021 }