@article{lmcs09, title = "The Safe Lambda Calculus", author = "William Blum and C.-H. Luke Ong", year = "2009", affiliation = "Univesity of Oxford", journal = "Logic Methods in Computer Science", number = "1", publisher = "LMCS", url = "http://www.lmcs-online.org/ojs/viewarticle.php?id=424&layout=abstract", volume = "5", doi = "10.2168/LMCS-5(1:3)2009", }