%0 Journal Article %1 journals/tcs/LagoH11 %A Lago, Ugo Dal %A Hofmann, Martin %D 2011 %J Theor. Comput. Sci. %K dblp %N 20 %P 2029-2047 %T Realizability models and implicit complexity. %U http://dblp.uni-trier.de/db/journals/tcs/tcs412.html#LagoH11 %V 412

@article{journals/tcs/LagoH11, added-at = {2013-11-05T00:00:00.000+0100}, author = {Lago, Ugo Dal and Hofmann, Martin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c1f47631a5d630a403e2dbeccf602ac1/dblp}, ee = {http://dx.doi.org/10.1016/j.tcs.2010.12.025}, interhash = {a7ee811b2662d97ef709352351a13286}, intrahash = {c1f47631a5d630a403e2dbeccf602ac1}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 20, pages = {2029-2047}, timestamp = {2016-02-02T10:04:04.000+0100}, title = {Realizability models and implicit complexity.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs412.html#LagoH11}, volume = 412, year = 2011 }