Special Issue: Domains
Guest Editors
- Bernhard Reus,
University of Sussex, School of Informatics,
Brighton, BN1 9QJ, UK,
bernhard@sussex.ac.uk
- Achim Jung,
University of Birmingham,
School of Computer Science,
Birmingham B15 2TT, UK,
A.Jung@cs.bham.ac.uk
- Klaus Keimel,
TU Darmstadt, Fachbereich Mathematik,
Schloßgartenstraße 7,
64289 Darmstadt, Germany,
keimel@mathematik.tu-darmstadt.de
- Thomas Streicher,
TU Darmstadt, Fachbereich Mathematik,
Schloßgartenstraße 7,
64289 Darmstadt, Germany,
streicher@mathematik.tu-darmstadt.de
Papers
- Preface
pdf | tex
Received: 11-November-2009
- U. Berger, J. Blanck and P. K. Køber: Domain
Representations of Spaces of Compact Subsets
pdf | tex
Received: 24-February-2009 Revised: 24-October-2009
Communicating author: Petter K Køber:
petterk@math.uio.no
- M. Escardó and P. Oliva: Selection Functions, Bar Recursion,
and Backward Induction
pdf | Directory
Received: 02-July-2009 Revised: 11-November-2009
Communicating author: Martín Escardó:
m.escardo@cs.bham.ac.uk
- J. Goubault-Larrecq: De Groot Duality and Models of Choice:
Angels, Demons, and Nature
pdf | Directory
Received: 23-February-2009 Revised: 27-October-2009
Communicating author: Jean Goubault-Larrecq: goubault@lsv.ens-cachan.fr
- M. Hyland: Some Reasons for Generalizing Domain
Theory
pdf | Directory
Received: 16-March-2009 Revised: 09-October-2009
Communicating author: Martin Hyland: M.Hyland@dpmms.cam.ac.uk
- M. Kostanek and P. Waszkiewicz: The limit-colimit coincidence theorem for V-categories
pdf | tex
Received: 11-February-2009 Revised: 26-October-2009
Communicating author: Pawel Waszkiewicz: Pawel.Waszkiewicz@tcs.uj.edu.pl
- A. Kurz and D. Petrisan: On Universal Algebra over Nominal
Sets
pdf | Directory
Received: 26-February-2009 Revised: 14-November-2009
Communicating author: Daniela Petrisan: petrisan@mcs.le.ac.uk