%0 Journal Article %1 journals/logcom/Studer01 %A Studer, Thomas %D 2001 %J J. Log. Comput. %K dblp %N 4 %P 527-544 %T A Semantics for lambda: a Calculus with Overloading and Late-binding. %U http://dblp.uni-trier.de/db/journals/logcom/logcom11.html#Studer01 %V 11

@article{journals/logcom/Studer01, added-at = {2011-06-29T00:00:00.000+0200}, author = {Studer, Thomas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20c863f37a22103b207f1e6c1648431e6/dblp}, ee = {http://dx.doi.org/10.1093/logcom/11.4.527}, interhash = {6d32086201e1d44c5077c20d7af2e639}, intrahash = {0c863f37a22103b207f1e6c1648431e6}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 4, pages = {527-544}, timestamp = {2016-02-02T02:40:02.000+0100}, title = {A Semantics for [lambda]: a Calculus with Overloading and Late-binding.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom11.html#Studer01}, volume = 11, year = 2001 }