| |
| 2003 | ||
|---|---|---|
| 5 | EE | Ralph Loader: Higher Order beta Matching is Undecidable. Logic Journal of the IGPL 11(1): 51-68 (2003) |
| 2001 | ||
| 4 | EE | Ralph Loader: Finitary PCF is not decidable. Theor. Comput. Sci. 266(1-2): 341-364 (2001) |
| 1998 | ||
| 3 | EE | Ralph Loader: Unary PCF is Decidable. Theor. Comput. Sci. 206(1-2): 317-329 (1998) |
| 1997 | ||
| 2 | Ralph Loader: Equational Theories for Inductive Types. Ann. Pure Appl. Logic 84(2): 175-217 (1997) | |
| 1994 | ||
| 1 | Ralph Loader: Linear Logic, Totality and Full Completeness LICS 1994: 292-298 | |