Categories of embeddings
- 12 November 1989
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 68 (3) , 221-237
- https://doi.org/10.1016/0304-3975(89)90161-8
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Coherence and consistency in domainsJournal of Pure and Applied Algebra, 1990
- Domain theoretic models of polymorphismInformation and Computation, 1989
- A simple model of the theory of constructionsContemporary Mathematics, 1989
- An equational presentation of higher order logicPublished by Springer Nature ,1987
- The system F of variable types, fifteen years laterTheoretical Computer Science, 1986
- Stone spacesAdvances in Mathematics, 1986
- The largest cartesian closed category of domainsTheoretical Computer Science, 1983
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Domains for denotational semanticsPublished by Springer Nature ,1982