Proofs as descriptions of computation

This publication has 8 references indexed in Scilit:

• A partial evaluator, and its use as a programming tool
  Artificial Intelligence, 1977
• A realizability interpretation of the theory of species
  Lecture Notes in Mathematics, 1975
• Intuitionistic formal systems
  Lecture Notes in Mathematics, 1973
• The mathematical language AUTOMATH, its usage, and some of its extensions
  Published by Springer Nature ,1970
• Constructive validity
  Published by Springer Nature ,1970
• Application of Theorem Proving to Problem Solving
  Published by Defense Technical Information Center (DTIC) ,1969
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
  Dialectica, 1958
• On the interpretation of intuitionistic number theory
  The Journal of Symbolic Logic, 1945