Theoretical Computer Science, Volume 316

Volume 316, Number 1, 28 May 2004

• Lars Birkedal, Martín Hötzel Escardó, Achim Jung, Giuseppe Rosolini:
  Preface: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott. 1-2
  Electronic Edition (link) BibTeX
• Jirí Adámek, Stefan Milius, Jiri Velebil:
  On coalgebra based on classes. 3-23
  Electronic Edition (link) BibTeX
• Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin:
  Intersection types and domain operators. 25-47
  Electronic Edition (link) BibTeX
• Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec:
  Behavioural inverse limit lambda-models. 49-74
  Electronic Edition (link) BibTeX
• Jimmie D. Lawson:
  Idempotent analysis and continuous semilattices. 75-87
  Electronic Edition (link) BibTeX
• Jimmie D. Lawson, Luoshan Xu:
  Posets having continuous intervals. 89-103
  Electronic Edition (link) BibTeX
• F. William Lawvere:
  Left and right adjoint operations on spaces and data types. 105-111
  Electronic Edition (link) BibTeX
• M. Andrew Moshier:
  On the relationship between compact regularity and Gentzen's cut rule. 113-136
  Electronic Edition (link) BibTeX
• Dag Normann:
  Hierarchies of total functionals over the reals. 137-151
  Electronic Edition (link) BibTeX
• Mikkel Nygaard, Glynn Winskel:
  Domain theory for concurrency. 153-190
  Electronic Edition (link) BibTeX
• Bernhard Reus, Thomas Streicher:
  Semantics and logic of object calculi. 191-213
  Electronic Edition (link) BibTeX
• Ivar Rummelhoff:
  Polynat in PER models. 215-224
  Electronic Edition (link) BibTeX
• Steven Vickers:
  Entailment systems for stably locally compact locales. 259-296
  Electronic Edition (link) BibTeX
• Steven J. Vickers, Christopher F. Townsend:
  A universal characterization of the double powerlocale. 297-321
  Electronic Edition (link) BibTeX