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
259 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
316 A Compendium of Continuous Lattices – G Gierz, K H Hofmann, K Keimel, J D Lawson, M Mislove, D S Scott - 1980
26 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
423 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
59 Post-graduate lecture notes in advanced domain theory (incorporating the “Pisa Notes – G D Plotkin - 1981
456 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
23 domains and predicate transformers: a topological view – Power - 1983
6 On random relational structures – M Droste, D Kuske