![]() | ![]() |
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] |