Hanno Nickau

Publication Activity (10 Years)

Years Active: 1994-2003
Publications (10 Years): 0

Publications

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) (2003)
Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong
Innocent game models of untyped lambda-calculus. Theor. Comput. Sci. 272 (1-2) (2002)
Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong
A Universal Innocent Game Model for the Böhm Tree Lambda Theory. CSL (1999)
Hanno Nickau
Hereditarily Sequential Functionals. LFCS (1994)