Structure and meaning of elementary programs

• 1 January 1971
• book chapter
• Published by Springer Nature
• p. 89-101
• https://doi.org/10.1007/bfb0059695

Abstract

Keywords

• NORMAL FORM
• PROOF SYSTEM
• INDUCTION ASSUMPTION
• SIMPLE PROGRAM
• REGISTER MACHINE