Constructive Mathematics as a Programming Logic I: Some Principles of Theory

This publication has 11 references indexed in Scilit:

• Constructive Mathematics and Computer Programming
  Published by Elsevier ,2014
• The type theory of PL/CV3
  Published by Springer Nature ,2005
• Mathematics as programming
  Published by Springer Nature ,1984
• An Introduction to the PL/CV2 Programming Logic
  Lecture Notes in Computer Science, 1982
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• On Classes of Program Schemata
  SIAM Journal on Computing, 1972
• Consent Forms
  BMJ, 1971
• Constructive validity
  Published by Springer Nature ,1970
• Mathematical Logic as Based on the Theory of Types
  American Journal of Mathematics, 1908