Mathematics as programming

This publication has 8 references indexed in Scilit:

• An Introduction to the PL/CV2 Programming Logic
  Lecture Notes in Computer Science, 1982
• Programming in Constructive Set Theory
  Published by Association for Computing Machinery (ACM) ,1981
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979
• The Type Theoretic Interpretation of Constructive Set Theory
  Published by Elsevier ,1978
• Towards a theory of type structure
  Lecture Notes in Computer Science, 1974
• Combinators, λ-Terms and Proof Theory
  Published by Springer Nature ,1972
• Consent Forms
  BMJ, 1971
• Mathematical Logic as Based on the Theory of Types
  American Journal of Mathematics, 1908