The type theory of PL/CV3

This publication has 8 references indexed in Scilit:

• An Introduction to the PL/CV2 Programming Logic
  Lecture Notes in Computer Science, 1982
• Programs and types
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1980
• A constructive alternative to axiomatic data type definitions
  Published by Association for Computing Machinery (ACM) ,1980
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979
• The Type Theoretic Interpretation of Constructive Set Theory
  Published by Elsevier ,1978
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• Recursive data structures
  International Journal of Parallel Programming, 1975
• Combinators, λ-Terms and Proof Theory
  Published by Springer Nature ,1972