Universal Profinite Domains (1987)

Cached

Download Links

by Carl A. Gunter
Venue:Information and Computation
Citations:15 - 1 self

Documents Related by Co-Citation

210 A powerdomain construction – G. D. Plotkin - 1976
260 Domains for denotational semantics – D S SCOTT - 1982
210 Data types as lattices – D SCOTT - 1976
169 The category-theoretic solution of recursive domain equations – M B Smyth, G D Plotkin - 1982
320 A Compendium of Continuous Lattices – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 1980
27 Cartesian Closed Categories of Domains – Achim Jung, Der Technischen Hochschule Darmstadt, Dipl. -math Achim Jung, Referent Prof, Dr. K. Keimel, Koreferent Prof, Dr. K. -h. Hofmann - 1988
14 Profinite Solutions For Recursive Domain Equations – Carl Gunter - 1985
17 Some ordered sets in computer science – D Scott - 1982
53 Using Information Systems to Solve Recursive Domain Equations – K G Larsen, G Winskel - 1991
5 Coherence and consistency in domains (extended outline – C A Gunter, A Jung - 1988
12 Categories of embeddings – T Coquand - 1989
90 Full Abstraction for a Simple Parallel Programming Language – M. C. B. Hennessy, G. D. Plotkin - 1979
427 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
60 Post-graduate lecture notes in advanced domain theory, incorporating the “pisa notes – G S Plotkin - 1981
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
6 Universal information systems – M Droste, R Göbel - 1991
13 Power Domains and Second Order Predicates – Reinhold Heckmann - 1993
24 domains and predicate transformers: a topological view. volume 154 – Power - 1983
50 T ω as a universal domain – G Plotkin