| |
| 2003 | ||
|---|---|---|
| 4 | EE | Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong: Adapting innocent game models for the Böhm treelambda -theory. Theor. Comput. Sci. 308(1-3): 333-366 (2003) |
| 2002 | ||
| 3 | EE | Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong: Innocent game models of untyped lambda-calculus. Theor. Comput. Sci. 272(1-2): 247-292 (2002) |
| 1999 | ||
| 2 | Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong: A Universal Innocent Game Model for the Böhm Tree Lambda Theory. CSL 1999: 405-419 | |
| 1994 | ||
| 1 | Hanno Nickau: Hereditarily Sequential Functionals. LFCS 1994: 253-264 | |
| 1 | Andrew D. Ker | [2] [3] [4] |
| 2 | C.-H. Luke Ong | [2] [3] [4] |