@article{Blum:Ong:LMCS:2009,
    Author = {Blum, William and Ong, C. -H. Luke},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Programming Languages ; Computer Science - Computer Science and Game Theory ; F.3.2 ; F.4.1},
    Month = {February},
    Title = {{The Safe Lambda Calculus}},
    URL = {https://lmcs.episciences.org/1145},
    Volume = {{Volume 5, Issue 1}},
    Year = {2009},
    bdsk-url-1 = {https://lmcs.episciences.org/1145},
    bdsk-url-2 = {https://doi.org/10.2168/LMCS-5(1:3)2009},
    date-added = {2022-03-31 15:50:55 +0200},
    date-modified = {2022-03-31 15:51:21 +0200},
    doi = {10.2168/LMCS-5(1:3)2009}
}

@article{Blum:Ong:LMCS:2009, Author = {Blum, William and Ong, C. -H. Luke}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Programming Languages ; Computer Science - Computer Science and Game Theory ; F.3.2 ; F.4.1}, Month = {February}, Title = {{The Safe Lambda Calculus}}, URL = {https://lmcs.episciences.org/1145}, Volume = {{Volume 5, Issue 1}}, Year = {2009}, bdsk-url-1 = {https://lmcs.episciences.org/1145}, bdsk-url-2 = {https://doi.org/10.2168/LMCS-5(1:3)2009}, date-added = {2022-03-31 15:50:55 +0200}, date-modified = {2022-03-31 15:51:21 +0200}, doi = {10.2168/LMCS-5(1:3)2009} }