Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Scott, Dana S."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Cartesian closed categories of separable Scott domains
Andrej Bauer
,
Gordon D. Plotkin
,
Dana S. Scott
Theoretical Computer Science
546
, 2014, pp. 17-29
Equilogical spaces
Andrej Bauer
,
Lars Birkedal
,
Dana S. Scott
Theoretical Computer Science
315
(1), 2004, pp. 35-59
A new category for semantics
Dana S. Scott
Lecture Notes in Computer Science
2136
, 2001, pp. 1-2
A type-theoretical alternative to ISWIM, CUCH, OWHY
Dana S. Scott
Theoretical Computer Science
121
(1-2), 1993, pp. 411-440