The largest cartesian closed category of stable domains
- 20 October 1996
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 166 (1-2) , 203-219
- https://doi.org/10.1016/0304-3975(95)00191-3
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Bifinite domains: Stable casePublished by Springer Nature ,2005
- Stone duality for stable functionsPublished by Springer Nature ,2005
- A Maximal Monoidal Closed Category of Distributive Algebraic DomainsInformation and Computation, 1995
- On stable domainsTheoretical Computer Science, 1993
- Cartesian closed categories of algebraic CPOsTheoretical Computer Science, 1990
- Event structures and domainsTheoretical Computer Science, 1989
- A simple model of the theory of constructionsContemporary Mathematics, 1989
- dI-domains as a model of polymorphismPublished by Springer Nature ,1988
- Linear logicTheoretical Computer Science, 1987
- Stable models of typed λ-calculiPublished by Springer Nature ,1978