- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | William Blum, C.-H. Luke Ong: The Safe Lambda Calculus Logical Methods in Computer Science 5(1): (2009) |
| 2007 | ||
| 1 | | William Blum, C.-H. Luke Ong: The Safe Lambda Calculus. TLCA 2007: 39-53 |
| 1 | C.-H. Luke Ong | [1] [2] |