A universal characterization of the double powerlocale: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science 2004, Vol.316 (1-3), p.297-321
Hauptverfasser: VICKERS, S. J, TOWNSEND, C. F
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:
ISSN:0304-3975
1879-2294