The Type Theory of PL/CV3
- 1 January 1984
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Programming Languages and Systems
- Vol. 6 (1), 94-117
- https://doi.org/10.1145/357233.357238
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Toward a logical theory of program dataPublished by Springer Nature ,2005
- Programs as proofs: a synopsisInformation Processing Letters, 1983
- An Introduction to the PL/CV2 Programming LogicLecture Notes in Computer Science, 1982
- The Cornell program synthesizerCommunications of the ACM, 1981
- Formalizing constructive mathematics: Why and how?Published by Springer Nature ,1981
- Edinburgh LCFLecture Notes in Computer Science, 1979
- The Type Theoretic Interpretation of Constructive Set TheoryPublished by Elsevier ,1978
- Data Types as LatticesSIAM Journal on Computing, 1976
- An Intuitionistic Theory of Types: Predicative PartPublished by Elsevier ,1975