S
Steve Reeves
1957
6 works on record
Works
Building the Classic Physique
Logic for computer science
An example of algorithm development in Intuitionistic Type Theory
An example of algorithm development in Intuitionistic Type Theory
Implementation of a theorem-prover based on semantic tableaux
Implementation of a theorem-prover based on semantic tableaux
Power Walking
Power Walking
Propositions as types
Propositions as types