Proving Programs and Programming Proofs

This publication has 8 references indexed in Scilit:

• Extracting Lisp Programs from Constructive Extracting Lisp Programs from Constructive Mathematics Based on Lisp
  Publications of the Research Institute for Mathematical Sciences, 1983
• The direction the FGCS Project will take
  New Generation Computing, 1983
• Recursive models for constructive set theories
  Annals of Mathematical Logic, 1982
• Prolegomena to a theory of mechanized formal reasoning
  Artificial Intelligence, 1980
• Proofs as descriptions of computation
  Published by Springer Nature ,1980
• Constructive Theories of Functions and Classes
  Published by Elsevier ,1979
• Consent Forms
  BMJ, 1971
• Randbemerkungen zu Hauptproblemen der Mathematik
  Mathematische Zeitschrift, 1924