OXFORD UNIVERSITY  COMPUTING LABORATORY

Hanno Nickau: Publications

BibTeX database
  • Andrew D. Ker, Hanno Nickau and C.-H. Luke Ong.
    Adapting innocent game models for the Böhm tree lambda-theory.
    Theoretical Computer Science, volume 308, pages 333 - 366, 2003.
    Abstract   BibTeX Entry  

  • Andrew D. Ker, Hanno Nickau and C.-H. Luke Ong.
    Innocent game models of untyped lambda calculus.
    Theoretical Computer Science, volume 272, pages 247 - 292, 2002.
    Abstract   BibTeX Entry  

  • Andrew D. Ker, Hanno Nickau and C.-H. Luke Ong.
    A universal innocent game model for the Böhm tree lambda theory.
    In Computer Science Logic 1999, Lecture Notes in Computer Science, volume 1683, pages 405 - 419, Springer-Verlag, 1999.
    Abstract   BibTeX Entry  Compressed Postscript (92 531 bytes)

  • Hanno Nickau.
    Hereditarily Sequential Funtionals: A Game-Theoretic Approach to Sequentiality. Dissertation,
    Universität GH Siegen. 80 pages, Shaker-Verlag, 1996.
    Abstract   BibTeX Entry   Compressed Postscript (256 039 bytes)

  • Hanno Nickau.
    Hereditarily Sequential Funtionals.
    In: Proc. Symp. Logical Foundations of Computer Science: Logic at St. Petersburg, Eds. A. Nerode and Yu. V. Matiyasevich, Lecture Notes in Computer Science, volume 813, pages 253-264, Springer-Verlag, 1994.
    Abstract   BibTeX Entry   Compressed Postscript (115 294 bytes)


Also of interest: publications by former students and colleagues:
  • Claudio Dupré.
    Domain Models of Typed Lambda Calculi: Towards a theory of concurrency in a typed functional setting. Dissertation,
    Universität GH Siegen. 130 pages, 1996.
    BibTeX Entry  

  • Bernd Lichtenthäler.
    Degrees of Parallelism. English version of Master thesis,
    Informatik-Bericht Nr. 96-01, Universität GH Siegen. 82 pages, 1996.
    Abstract   BibTeX Entry  

  • Bernd Lichtenthäler.
    Grade der Parallelität. Diplomarbeit,
    Universität GH Siegen. 108 pages, 1995.
    BibTeX Entry  


Notice

To satisfy the conditions of certain publishers regarding distribution of my papers on the web, I have been advised to include the following:
The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit written permission of the copyright holder.

Random Image
Random Image
Random Image