Hanno Nickau

According to our database, Hanno Nickau authored at least 4 papers between 1994 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2003

Adapting innocent game models for the Böhm treelambda -theory.

Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong

Theor. Comput. Sci., 2003

2002

Innocent game models of untyped lambda-calculus.

Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong

Theor. Comput. Sci., 2002

1999

A Universal Innocent Game Model for the Böhm Tree Lambda Theory.

Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1994

Hereditarily Sequential Functionals.

Hanno Nickau

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994