%0 Journal Article %1 journals/corr/abs-2105-01112 %A Vale, Deivid %A Kop, Cynthia %D 2021 %J CoRR %K dblp %T Tuple Interpretations for Higher-Order Rewriting. %U http://dblp.uni-trier.de/db/journals/corr/corr2105.html#abs-2105-01112 %V abs/2105.01112

@article{journals/corr/abs-2105-01112, added-at = {2021-05-12T00:00:00.000+0200}, author = {Vale, Deivid and Kop, Cynthia}, biburl = {https://www.bibsonomy.org/bibtex/2ac9bd28a1d51f829ecbc111cc34cbd0a/dblp}, ee = {https://arxiv.org/abs/2105.01112}, interhash = {655f2504f510cc313033592b44d96b8f}, intrahash = {ac9bd28a1d51f829ecbc111cc34cbd0a}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:18:11.000+0200}, title = {Tuple Interpretations for Higher-Order Rewriting.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2105.html#abs-2105-01112}, volume = {abs/2105.01112}, year = 2021 }