Universal Profinite Domains (1987)

Cached

Download Links

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

Active Bibliography

231 Domain Theory in Logical Form – Samson Abramsky - 1991
148 Semantic Domains – C. A. Gunter, D. S. Scott - 1990
34 Domain Theoretic Models Of Polymorphism – Thierry Coquand, Carl A. Gunter, Glynn Winskel - 1989
8 Coherence and Consistency in Domains – Carl A. Gunter, Achim Jung - 1990
13 A Convenient Category of Domains – Ingo Battenfeld, Matthias Schröder, Alex Simpson
10 Topology, Domain Theory and Theoretical Computer Science – Michael W. Mislove - 1997
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
3 Domains with Approximating Projections – Ralph Kummetz - 1999
2 A Category-theoretic characterization of functional completeness – Giuseppe Longo, Eugenio Moggi - 1990
6 Disjunctive Systems and L-Domains – Guo-qiang Zhang - 1992
4 Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) – Marcelo Fiore, Kohei Honda - 1998
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
Minimal lambda-theories by ultraproducts – Alberto Carraro, Antonino Salibra, Università Ca, Foscari Venezia, Antonio Bucciarelli
TU as a Universal Domain – G. Plotkin - 1977
Non-Deterministic untyped λ-calculus -- A study about explicit non determinism in higher-order functional calculi – Ugo de' Liguoro - 1991
1 A Convex Powerdomain over Lattices: its Logic and λ-Calculus – Fabio Alessi, Mariangiola Dezani-ciancaglini, Ugo De Liguoro, Of D - 1997
Universal Domains For Sequential Computation – Ramarao Kanneganti - 1995
3 Formalising a Model of the lambda-calculus in HOL-ST – Sten Agerholm - 1994
23 A HOL basis for reasoning about functional programs – Sten Agerholm - 1994