dI-domains as a model of polymorphism
- 1 January 1988
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 344-363
- https://doi.org/10.1007/3-540-19020-1_18
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- An equational presentation of higher order logicPublished by Springer Nature ,1987
- Universal profinite domainsInformation and Computation, 1987
- The system F of variable types, fifteen years laterTheoretical Computer Science, 1986
- Polymorphism is not set-theoreticLecture Notes in Computer Science, 1984
- The semantics of second order polymorphic lambda calculusLecture Notes in Computer Science, 1984
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Some Ordered Sets in Computer SciencePublished by Springer Nature ,1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Stable models of typed λ-calculiLecture Notes in Computer Science, 1978
- Towards a theory of type structureLecture Notes in Computer Science, 1974