![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
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 - Jirí Adámek, Stefan Milius, Jirí 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 - Christopher F. Townsend:
Presenting locale pullback via directed complete posets. 225-258 - 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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.