Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical 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
a service of 
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.
last updated on 2024-04-25 05:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
