%0 Conference Paper %1 journals/corr/abs-1102-0749 %A Buiras, Pablo %A Díaz-Caro, Alejandro %A Jaskelioff, Mauro %B LSFA %D 2011 %E Rocca, Simona Ronchi Della %E Pimentel, Elaine %K dblp %P 16-29 %T Lower Bounds for Scalars in a Typed Algebraic λ-calculus %U http://dblp.uni-trier.de/db/series/eptcs/eptcs81.html#abs-1102-0749 %V 81

@inproceedings{journals/corr/abs-1102-0749, added-at = {2018-09-12T00:00:00.000+0200}, author = {Buiras, Pablo and Díaz-Caro, Alejandro and Jaskelioff, Mauro}, biburl = {https://www.bibsonomy.org/bibtex/261b73e4d7e508140afd48318ac31607b/dblp}, booktitle = {LSFA}, crossref = {journals/corr/abs-1203-5423}, editor = {Rocca, Simona Ronchi Della and Pimentel, Elaine}, ee = {http://arxiv.org/abs/1102.0749}, interhash = {6949feec30b62b23366e1747df8157da}, intrahash = {61b73e4d7e508140afd48318ac31607b}, keywords = {dblp}, pages = {16-29}, series = {EPTCS}, timestamp = {2018-09-13T11:41:54.000+0200}, title = {Lower Bounds for Scalars in a Typed Algebraic λ-calculus}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs81.html#abs-1102-0749}, volume = 81, year = 2011 }