Retractions on dI-domains as a model for Type:Type
- 1 October 1991
- journal article
- Published by Elsevier in Information and Computation
- Vol. 94 (2) , 204-231
- https://doi.org/10.1016/0890-5401(91)90038-4
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- The system F of variable types, fifteen years laterTheoretical Computer Science, 1986
- Data Types as LatticesSIAM Journal on Computing, 1976