Steve Reeves

1957

• Building the Classic Physique
• Logic for computer science
• Abstract State Machines, Alloy, B and Z
• An example of algorithm development in Intuitionistic Type Theory
• Building the Classic Physique: The Natural Way
• Implementation of a theorem-prover based on semantic tableaux
• Power Walking
• Propositions as types