%0 Journal Article %1 journals/corr/AvanziniLM15 %A Avanzini, Martin %A Lago, Ugo Dal %A Moser, Georg %D 2015 %J CoRR %K dblp %T Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version). %U http://dblp.uni-trier.de/db/journals/corr/corr1506.html#AvanziniLM15 %V abs/1506.05043

@article{journals/corr/AvanziniLM15, added-at = {2018-08-13T00:00:00.000+0200}, author = {Avanzini, Martin and Lago, Ugo Dal and Moser, Georg}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/298b1b8bf6f8f71b6452d1ac7dfcaca1a/dblp}, ee = {http://arxiv.org/abs/1506.05043}, interhash = {48dddc03653dfe917d01e62b5264d287}, intrahash = {98b1b8bf6f8f71b6452d1ac7dfcaca1a}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:08:35.000+0200}, title = {Analysing the Complexity of Functional Programs: Higher-Order Meets First-Order (Long Version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1506.html#AvanziniLM15}, volume = {abs/1506.05043}, year = 2015 }