Volume 316, Number 1, 28 May 2004
Recent Developments in Domain Theory:
A collection of papers in honour of Dana S. Scott
- 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
- Jirí Adámek, Stefan Milius, Jiri Velebil:
On coalgebra based on classes.
3-23
- Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin:
Intersection types and domain operators.
25-47
- Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec:
Behavioural inverse limit lambda-models.
49-74
- Jimmie D. Lawson:
Idempotent analysis and continuous semilattices.
75-87
- Jimmie D. Lawson, Luoshan Xu:
Posets having continuous intervals.
89-103
- F. William Lawvere:
Left and right adjoint operations on spaces and data types.
105-111
- M. Andrew Moshier:
On the relationship between compact regularity and Gentzen's cut rule.
113-136
- Dag Normann:
Hierarchies of total functionals over the reals.
137-151
- Mikkel Nygaard, Glynn Winskel:
Domain theory for concurrency.
153-190
- Bernhard Reus, Thomas Streicher:
Semantics and logic of object calculi.
191-213
- Ivar Rummelhoff:
Polynat in PER models.
215-224
- Steven Vickers:
Entailment systems for stably locally compact locales.
259-296
- Steven J. Vickers, Christopher F. Townsend:
A universal characterization of the double powerlocale.
297-321
Last update Sat May 18 20:57:04 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
