|
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.
|
|
|
|