Proof theory and computer programming

This publication has 10 references indexed in Scilit:

• Constructive Mathematics and Computer Programming
  Published by Elsevier ,2014
• A Proof-Theoretic Account of Programming and the Role of Reduction Rules
  Dialectica, 1988
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• Recursive definitions in type theory
  Published by Springer Nature ,1985
• Meaning and proofs: on the conflict between classical and intuitionistic logic
  Theoria, 1977
• An Intuitionistic Theory of Types: Predicative Part
  Published by Elsevier ,1975
• Ideas and Results in Proof Theory
  Published by Elsevier ,1971
• Mathematics as a Numerical Language
  Published by Elsevier ,1970
• The Runabout Inference-Ticket
  Analysis, 1960
• The constructive second number class
  Bulletin of the American Mathematical Society, 1938