%0 Journal Article %1 journals/corr/abs-0901-2399 %A Blum, William %A Ong, C.-H. Luke %D 2009 %J Logical Methods in Computer Science %K %N 1 %T The Safe Lambda Calculus %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs5.html#abs-0901-2399 %V 5

@article{journals/corr/abs-0901-2399, added-at = {2023-12-13T07:26:20.000+0100}, author = {Blum, William and Ong, C.-H. Luke}, biburl = {https://www.bibsonomy.org/bibtex/2020c627b96f3b2d98d299ba0fdf17c0b/admin}, ee = {http://arxiv.org/abs/0901.2399}, interhash = {b8fac3a89588bea1ffc4b425f7acffd5}, intrahash = {020c627b96f3b2d98d299ba0fdf17c0b}, journal = {Logical Methods in Computer Science}, keywords = {}, number = 1, timestamp = {2023-12-13T07:26:20.000+0100}, title = {The Safe Lambda Calculus}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs5.html#abs-0901-2399}, volume = 5, year = 2009 }