| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 5 |      | Ralph Loader: Higher Order beta Matching is Undecidable. Logic Journal of the IGPL 11(1): 51-68 (2003) |
| 2001 | ||
| 4 | | Ralph Loader: Finitary PCF is not decidable. Theor. Comput. Sci. 266(1-2): 341-364 (2001) |
| 1998 | ||
| 3 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page