%0 Journal Article %1 journals/tocl/Lago09 %A Lago, Ugo Dal %D 2009 %J ACM Trans. Comput. Log. %K dblp %N 2 %P 8:1-8:38 %T The geometry of linear higher-order recursion. %U http://dblp.uni-trier.de/db/journals/tocl/tocl10.html#Lago09 %V 10

@article{journals/tocl/Lago09, added-at = {2018-11-06T00:00:00.000+0100}, author = {Lago, Ugo Dal}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bfc286c678067c886bf84d8a8dd444bb/dblp}, ee = {https://doi.org/10.1145/1462179.1462180}, interhash = {cda82917e6b97a167549668ceb863f9f}, intrahash = {bfc286c678067c886bf84d8a8dd444bb}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 2, pages = {8:1-8:38}, timestamp = {2019-09-27T06:33:40.000+0200}, title = {The geometry of linear higher-order recursion.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl10.html#Lago09}, volume = 10, year = 2009 }