|
Search the dblp DataBase
Hanno Nickau:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong
A Universal Innocent Game Model for the Böhm Tree Lambda Theory. [Citation Graph (0, 0)][DBLP] CSL, 1999, pp:405-419 [Conf]
- Hanno Nickau
Hereditarily Sequential Functionals. [Citation Graph (0, 0)][DBLP] LFCS, 1994, pp:253-264 [Conf]
- Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong
Innocent game models of untyped lambda-calculus. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2002, v:272, n:1-2, pp:247-292 [Journal]
- Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong
Adapting innocent game models for the Böhm treelambda -theory. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:308, n:1-3, pp:333-366 [Journal]
Search in 0.001secs, Finished in 0.001secs
|