Hereditarily Sequential Functionals. - Hanno Nickau (LFCS, 1994)

A Universal Innocent Game Model for the Böhm Tree Lambda Theory. - Andrew D. Ker; Hanno Nickau; C.-H. Luke Ong (CSL, 1999)

Innocent game models of untyped lambda-calculus. - Andrew D. Ker; Hanno Nickau; C.-H. Luke Ong (Theor. Comput. Sci., 2002)

Adapting innocent game models for the Böhm treelambda -theory. - Andrew D. Ker; Hanno Nickau; C.-H. Luke Ong (Theor. Comput. Sci., 2003)