A universal characterization of the double powerlocale: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott
Gespeichert in:
Veröffentlicht in: | Theoretical computer science 2004, Vol.316 (1-3), p.297-321 |
---|---|
Hauptverfasser: | , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | |
---|---|
ISSN: | 0304-3975 1879-2294 |